This is a new version of #501 as a diff on #488. It generalizes MFail as MThrow for monads that have an error payload
MFail
MThrow
mentioned in merge request iris/stdpp!501 (closed)
mentioned in commit ceb4b297
merged