Metatype
A type whose instances are also types.
References:
- An examination of metatypes in the context of the type system
- The most general metatype, ⊤
- Metatypes referenced and defined in the Guess the Number tutorial
- Metatypes used in an example of semantic restrictions