Monad_of_no_return/>>_Proposal_(MRP)