"A closed intersection type." shared sealed interface IntersectionType<out Intersection=Anything> satisfies Type<Intersection> { "The list of closed satisfied types of this intersection." shared formal List<Type<>> satisfiedTypes; }