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

[Marcin Mrotek]

Perhaps introducing the change now, but extending the transition
period until the next major breakage would bring the best of both
worlds?

Best regards,
Marcin Mrotek