>上記の制約は，可述的多相 (predicative polymorphism) という名前の体系として知られており，この制約さえ取っ払ってしまった体系を非可述的多相 (impredicative polymorphism) または第一級多相 (first-class polymorphism) と呼ぶ ref