type-theory Definition Type Scheme A type scheme is a type expression with explicit universal quantification over some type variables. Examples Hindley–Milner In Hindley–Milner, type schemes have the form where is a monotype.