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

Jorge Adriano Aires jadrian at mat.uc.pt
Tue Jan 25 09:19:58 EST 2005


On Tuesday 25 January 2005 02:25, Jan-Willem Maessen wrote:
> On Jan 24, 2005, at 8:53 PM, Jorge Adriano Aires wrote:
> > And it would say nothing about things like:
> > return 4 >> return 5  ==?== return 5
> > I can live with it.
>
> I feel obliged to point out (because the repeated references to the
> question are driving me up the wall) that this simple equality holds in
> every monad:


> return 4 >> return 5
> ...
> return 5

Opss, of course...

J.A.


More information about the Haskell-Cafe mailing list