Hindley Milner

See HindleyMilnerTypeInference.