>>396
すいません、違いが分かりません。

f :: forall a b c. （a -> b -> c）
f :: forall a c. (a -> (forall b. b) -> c)

前者では認められる定義（関数の内容）が、後者では認められない定義やその逆など、
具体例を出していただけると嬉しいです。