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

[Keean Schupke]

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.