Either: EitherTypeRef