parametric polymorphism
パラメトリック多相(parametric polymorphism)- 部分的に共通な型群を一つのシンボルで扱う。その型が内包する1個以上の要素型の詳細を明示しないで部分的に抽象化されたままの型を表現する。その要素型の詳細は、インスタンス化された実体ごとに確定される。関数型言語の型システムで多用される。
cf.
ポリモーフィズム - Wikipedia