Strictness and instances.
EitherT instance.