[Haskell-cafe] monad combinator