>>239 >>241
そこです。
そこにある例では、odds関数の説明がよく分かりません。
「これは（定理の）反例にはならない。なぜなら、oddsの型が∀X. List(X) -> List(X)
ではなく、より特定的な List(Int) -> List(Int)であるので」と言うのですが、
oddsの型が∀X. List(X) -> List(X) になっていないとなぜ言えるのでしょうか？
φ(A)であってさらに∀X.φ(X) でもあることはあり得ることではないのですか？