Control.Monad.Trans.Continue
data ContinueT x m a
stop
failure
continue
hoistContinue
mapContinueT
bimapContinueT
firstContinueT
secondContinueT
mapFailure
stopFromNothing
hoistEither
liftEitherT
liftExceptT
runToEitherT
runToExceptT