Recast the EitherT laws in terms of composition