其實很多類型系統都是用類型參數的的形式來實現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！！！！
.
然后你人就廢了… (大霧
本來是開玩笑的，但是自己看了自己的答案，就有點心疼瞎點技能樹的自己 (╥﹏╥)
)
...)