bindET :: (Monad m) => EitherT a m b -> (b -> EitherT a m c) -> EitherT a m c
x `bindET` f = EitherT $ do
                    unwrapped <- runEitherT x
                    case unwrapped of
                        Left err -> return (Left err)
                        Right val -> runEitherT (f val)