A monomorph is a type which may, through unification, morph into a different type later. Further details about this type are explained in the section on type inference.