Re: [Haskell-cafe] Re: what is inverse of mzero and return?

Ashley Yakeley wrote:

I disagree. Clearly (putStrLn "Hello" >> mzero) is not the same as mzero.

Yes it is, side effects are quite clearly not counted. The value of (putStrLn "Hello" >> mzero") is mzero. In reference to the idea of splitting MonadPlus, what category would you be operating in, if you have a zero but no co-product operation? Keean.