A Markdown version of Mark P Jones's Typing Haskell in Haskell paper