Control.Monad.Trans.Either

data EitherT l m a

left