Re: [Haskell-cafe] Composition and type magic