type scheme

type scheme

A typing of an expression which may include type variables.E.g.

\\ x . x :: a -> a

where a is a generic type variable which may be instantiatedto any type.