Typechecker, trying to combine "Gradual Typing" and Hindley-Milner. typing rules.

Alternate Haskell code for the article Translate Haskell into English Manually.