Control.Monad.EitherK

data EitherKT e m a

runEitherKT