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.
Due to these complications and limited time available, we leave other forms
of recursion as future work as well.
+
+% vim: set sw=2 sts=2 expandtab: