raiseError

MonadError

recoverConsistentWithRecoverWith

Laws

rh

IsEquiv