> This is probably just not how things work in Haskell and I just need to be okay with that. Yep, that's just how things work in Haskell: disjoint unions are m

> This is probably just not how things work in Haskell and I just need to be okay with that. Yep, that's just how things work in Haskell: disjoint unions are much simpler regular unions, and they're usually what you want in the first place. I think it'd be nice if Haskell had automatic conversions between types (so a and b can be turned into Either a b implicitly, with an error if a = b) but I don't think there are any plans for that.