catch package:data-effects

An effect to catch exceptions.
Catches exceptions within a scope and processes them according to the given exception handler.
Interpret the Catch effect based on an IO-fused semantics using IO-level exceptions.