ExitCase

An ExitCase signaling that the action was aborted.

As an example this can happen when we have a cancelable data type, like IO and the task yielded by bracket gets canceled when it's at its use phase.

An ExitCase signaling completion in failure.

An ExitCase that signals successful completion.

Note that "successful" is from the type of view of the MonadCancel type.

When combining such a type with EitherT or OptionT for example, this exit condition might not signal a successful outcome for the user, but it does for the purposes of the bracket operation. <-- TODO still true?

The names of the product elements

The name of the type