MonadFail_proposal_(MFP)