高阶类型的特征是包含类型构造器、包含类型参量

泛型类型是高阶类型的必经之路。