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

[John Wiegley]

>>>>> Herbert Valerio Riedel <hvr at gnu.org> writes:

> TLDR: To complete the AMP, turn `Monad(return)` method into a
>       top-level binding aliasing `Applicative(pure)`.

Very much +1.

John