[Haskell-cafe] Typing non-Haskell in Haskell