其实很多类型系统都是用类型参数的的形式来实现Universal Type的，Parametric Polymorphism 和System F可以了解一下，如果只局限于一两个热门语言的话，可能会有此疑问，但是从type theory的角度来说，高阶类型本身就是type constructor，接受type parameter，比如functor，monad…
然后你就会发现一个新世界，type class！Hindley-Milner！ higher kinded type！ higher rank type！Substructural Type！ System Fw！ Lambda-P！ dependent types！ Lambda cube！… … 米田定律！ Category Theory！！！！
.
然后你人就废了… (大雾
本来是开玩笑的，但是自己看了自己的答案，就有点心疼瞎点技能树的自己 (╥﹏╥)
)
...)