泛型

类型参数化。一般称化泛型，在 C++ 和 D 语言中称之为模板，而 Haskell 则称之为参数多态。