Generic types can be partial.

• 泛型类型可以是分部的。