Polymorphic Type Inference

See HindleyMilnerTypeInference.