In the type system, a generic type parameter is represented by an instance of Type, just as ordinary types are.

• 在类型系统中,和普通类型一样,泛型类型参数是由Type的实例表示的。