Construct an enumeration type from a set with at least two instances. The set must have already been normalized, such that at most one of the elements is itself a type.
The resulting enumeration.
The set of instances.