Implementation of the Hindley-Milner algorithm, a classical type inference system for the lambda calculus using simple types, in Haskell. Part of the Programming Languages II course.