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

[M Farkas-Dyck]

On 25/09/2015, Reid Barton <rwbarton at gmail.com> wrote:
> We're not actually proposing names. Thanks.

I'm not arguing to rename it now, but some were proposing names, for
examples: inject, box, wrap.