[Haskell-cafe] Typing Haskell in Haskell