Definition
Polymorphic Type System
A polymorphic type system is a type system in which an expression may have a type scheme that represents a family of possible types.
Formally, instead of assigning only a single monotype , the system may derive judgements of the form
where the quantified type variables may be instantiated by concrete types at use sites.