Control.Monad.Trans.Ether.Except
type Except tag e
except
runExcept
type ExceptT tag e
exceptT
runExceptT
throw
catch