Control.Monad.EitherK

The short-circuiting monad

data EitherK e a

runEitherK

toEitherK

eitherK

throwEitherK

catchEitherK

The short-circuiting monad transformer

data EitherKT e m a

runEitherKT

toEitherKT

liftEitherK

lowerEitherK

throwEitherKT

catchEitherKT