Control.Monad.Except.Backtracking
The BExceptT monad transformer
data
BExceptT
e m a
bExceptT
runBExceptT
hoistEither
Usage example and explanation