Recursive Domain Definitions
Certain program language features require domains whose structure is defined in terms of themselves
- e.g. Alist = Unit + (A x Alist) defines a domain of linear lists of A elements.
Like recursively defined operations, a domain may not be uniquely defined by a recursive definition.