Control.Effect.Exception
type EffectException e es
data Exception e a
runException
raise
except
finally