ExitCase

Type for signaling the exit condition of an effectful computation, that may either succeed, fail with an error or get canceled.

The types of exit signals are:

• Succeeded: for successful completion
• Errored: for termination in failure
• Canceled: for abortion