「多相関数」って言葉が意味不明ですが、それは一旦棚に上げて、リストの長さは多相関数の事例だとしましょう。リストの長さの宣言を次のように書くことがあります。$`\quad \text{length} : \forall \alpha.\text{List}\, \alpha \to {\bf N}`$ここで論理の…