hindley-milner-type-check-0.1.1.0: Type inference for Hindley-Milner based languages