[bnpxft]

Yes exactly. The real world is full of examples of a fixed set of exclusive options.

A programming language without sum types and exhaustive pattern matching in its type system is unable model this real world concept in its type system.