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.