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

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?