Control.Monad.Trans.Result
data
ResultT
e m a
runResultT
raiseT
accumulateT