Control.Monad.Trans.Abort
type
Abort
e α
runAbort
data
AbortT
e μ α
abort
recover