Monad of no `return` Proposal (MRP): Moving `return` out of `Monad`

[Henning Thielemann]

On Thu, 24 Sep 2015, Herbert Valerio Riedel wrote:

> Concluding AMP and MFP, We (David and I) proudly present you the final
> installment of the Monad trilogy:
>
>
> Monad of no `return` Proposal
> =============================

Btw. there were proposals of GHC extensions that allow class hierarchy 
updates without much code breakage (class aliases) etc. Could we defer the 
MRP until such extensions are implemented?