A special kind of type usable as `Type Argument` with generics and not yet referring to a well-defined type.