closed hierarchy
A family of types whose complete list of kinds is fixed and known to the compiler.
A closed hierarchy is a sealed type together with its permitted subtypes; because every direct subtype is known, a switch over it can be checked for exhaustiveness.
See also