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