Invalid law for MonadPlus: v >> mzero = mzero
The documentation of MonadPlus states: v >> mzero = mzero. This law is broken by IO, MaybeT, and a few other monads with some notion of "irreversible effects". I propose to just remove that law.
https://hackage.haskell.org/package/base-4.11.0.0/docs/Control-Monad.html#t:MonadPlus
Another alternative is to keep it but remove unlawful instances, so MonadPlus instances can signal that those laws hold, on top of the Alternative instances. But that breaks backwards compatibility, because MonadPlus for IO and MaybeT is already used in many places.
This thread previously brought up the issue but hasn't been followed up: https://mail.haskell.org/pipermail/libraries/2014-January/021993.html, continued on https://mail.haskell.org/pipermail/libraries/2014-February/022004.html with some interesting discussion about what those laws should be.
This even older thread also discusses MonadPlus laws, hence it also seems relevant to improve the documentation: https://mail.haskell.org/pipermail/haskell-cafe/2005-January/008751.html.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.2.2 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | libraries/base |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | lyxia |
| Operating system | |
| Architecture |