SafeInterpretation

try to execute an action an report any issue

Attempt to execute a safe action including finalizers

evaluate 1 action possibly having error effects

Execute a second action if the first one is not successful, based on the error

run a safe effect but drop the finalizer errors

ignore one possible exception that could be thrown

evaluate 1 action possibly having error effects

Execute a second action if the first one is not successful

Run a safe effect

Collect finalizer exceptions if any

evaluate 1 action possibly having error effects execute a second action whether the first is successful or not but keep track of finalizer exceptions

evaluate 1 action possibly throwing exceptions

Execute a second action if the first one is not successful, based on the exception

The final value type is the same as the original type