ADTs are not choice types. Algebraic Data Types are composed by product types, commonly referred as records, and sum types, called choices or discriminated unio

ADTs are not choice types. Algebraic Data Types are composed by product types, commonly referred as records, and sum types, called choices or discriminated unions or probably something else. You mean to minimise sum types, but I don’t really agree with that. Sum types are invaluable in domain modelling.