MonadFail proposal (MFP): Moving fail out of Monad

[Herbert Valerio Riedel]

On 2015-06-09 at 22:43:30 +0200, David Luposchainsky wrote:

[...]

> https://github.com/quchen/articles/blob/master/monad_fail.md
>
> Here's a short abstract:
>
> - Move `fail` from `Monad` into a new class `MonadFail`.

[...]

+1 obviously :-)