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

On 25/09/2015, Reid Barton 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.