[Haskell] parser for "Typing Haskell in Haskell"