Comment by Sharlin

Discriminated union types are a really fundamental building block of a type system. It's a sad state of matters that many mainstream languages don't have them.