[AnimalMuppet]

I could argue that { number that is defined | number that is not defined } is in fact a union type (or, perhaps more correctly, a sum type).