Ahh, ok, I guess the thing you miss is a possibility to create subtypes that are not part of “sealed taxonomy”, so you can have MyAnimal and still use exhaustive when with only Cat and Dog. Yes, I came across the same problem once and I agree it would be helpful.
2 Likes