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 instantiated to any type.
(31 Oct 1994)