可述多相

Haskell の多相型には「多相型の型パラメータ自身を多相型で具体化することはできない」という制約があるのです。 これを 可述性(predicativity) による制限と呼びます。