Fixed another instance of exploding types

Unioning a type with itself now doesn't construct an "Either" polytype