types) and just one field (which are technically not a product).
\stopdesc
\startdesc{Enumerated types}
+ \defref{enumerated types}
An enumerated type is an algebraic datatype with multiple constructors, but
none of them have fields. This is essentially a way to get an
enum-like type containing alternatives.