More work on EitherT