7 Nov
2014
7 Nov
'14
2:56 a.m.
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