Generic types can differ only by arity.

• 泛型类型只存在arity上的不同。