fail, MonadFail, or MonadPlus? (was Re: broken Monad Either instance?)

[Tyson Whitehead]

On December 8, 2011 20:15:57 Iavor Diatchki wrote:
> this is the way things used to be in Haskell 1.4 (if you are curious
> take a look at page 21 of
> http://haskell.org/definition/haskell-report-1.4.ps.gz).  I am not
> exactly sure why the change with the "fail" method happened but I
> think it had something to do with concerns that depending on the
> pattern your program might get a different constraint (e.g. Monad vs.
> MonadPlus).   To me this seems perfectly reasonable I don't know why
> it was perceived as a problem.

That would seem like reasonable behavior to me as well.

Cheers!  -Tyson