[Haskell-cafe] What is MonadPlus good for?

Marcin 'Qrczak' Kowalczyk qrczak at knm.org.pl
Mon Feb 14 06:18:55 EST 2005

Josef Svenningsson <josef.svenningsson at gmail.com> writes:

> You claimed that monad transformers break the
> mzero-is-right-identity-for-bind law because they can be applied to
> IO. I say, it's not the monad transformers fault. They cannot possibly
> be expected to repair the law if they are given a faulty monad.

I agree. They as well could be said to break the core monad laws.
It's not their fault.

   __("<         Marcin Kowalczyk
   \__/       qrczak at knm.org.pl
    ^^     http://qrnik.knm.org.pl/~qrczak/

More information about the Haskell-Cafe mailing list