[Haskell-cafe] a new Monad