"An open union type."
shared sealed interface OpenUnion satisfies OpenType {
"The list of case types for this open union type."
shared formal List<OpenType> caseTypes;
}