Type represents a type parameter or an actual type.

• 实例表示的是类型参数还是实际类型。