An ExitCase that signals successful completion.
Note that "successful" is from the type of view of the
MonadError type that's implementing Bracket.
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