Definition
Type Variable
A type variable is a variable that ranges over types.
Formally, if is a universe of types, then a type variable denotes an unspecified element of :
In polymorphic type systems, type variables mark the positions where a type may later be instantiated.