"A closed union type."
shared sealed interface UnionType<out Union=Anything>
        satisfies Type<Union> {
    
    "The list of closed case types of this union."
    shared formal List<Type<>> caseTypes;
}