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