[Haskell-cafe] Typed communications in (Safe) Haskell