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

[Imants Cekusins]

> Can you explain

that paragraph was not a problem but analogy. Here is a pared down version :

if given choice,  what would you and beginners prefer :  libraries (no
change, libraries work) or better syntax (change, libraries break)?

please do not apply this to this particular issue ("return"). Which
syntax is better, whether libraries break, is a different question.