Re: [Haskell-cafe] Typing Haskell in Haskell