Succeeded

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?