scalaz/scalaz — comment on commit d71abed072f271dbcecd159d3fdaac516e49ebb6
File:  line 0
By ekmett:

+1 for just disabling that test. There is no usable implementation for
which it holds unless you restrict your notion of monads in such a way as
to exclude IO, transformers, and a whole host of other useful stuff.

-Edward

On Sun, Feb 12, 2012 at 7:22 PM, Richard Wallace <
reply@reply.github.com
> wrote:

> I looked into this a little bit earlier this week. I tried various
> implementations of `ListT` on Haskell and they all have this same problem.
> So I asked the [list](
> http://www.haskell.org/pipermail/haskell-cafe/2012-February/099282.html)
> and Oleg said that that particular `MonadPlus` law is hotly debated.
>
> Perhaps we should just disable the test for that law?
>
> ---
> Reply to this email directly or view it on GitHub:
>
> https://github.com/scalaz/scalaz/commit/d71abed072f271dbcecd159d3fdaac516e49ebb6#commitcomment-958581
>