Discussion: remove the Applicative superclass from Alternative

[Herbert Valerio Riedel]

On 2014-11-07 at 02:49:31 +0100, Ivan Lazar Miljenovic wrote:

[...]

> With AMP, what happens with MonadPlus?  Isn't it equivalent to
> Monad+Alternative?

You may be interested in the discussion taking place at

  https://phabricator.haskell.org/D449

which tries to write down laws/expections for post-AMP `MonadPlus`
instances