泛型是包含类型参数的抽象类型—类型构造器；
抽象类型不能作为类型直接定义变量；
必须先具体化；
泛型是类型构造器。
构造器+参量类型空间 = 具体类型；
具体类型 = 泛型 + 参量类型空间。
泛型是类型领域的概念，与接口、抽象等概念平级；