Type and kind inference for Haskell98 using HM(x) constraint solving. - View it on GitHub