[Haskell-cafe] [Haskell] Functor => Applicative => Monad

[Tillmann Rendel]

John Smith proposed:
> a failed pattern match should error in the same way as is does for
> pure code, while in MonadPlus, the current behaviour could be
> maintained with mzero

Lennart Augustsson wrote:
> Any refutable pattern match in do would force MonadFail (or MonadPlus
> if you prefer).

I guess that would work out, but I think John proposed something else.

   Tillmann