"An open intersection type."
shared sealed interface OpenIntersection satisfies OpenType {
    
    "This intersection's list of satisfied open types."
    shared formal List<OpenType> satisfiedTypes;
}