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