add Typing Haskell in Haskell paper
haskell-type-exts