>>140は
　　A -> (B -> C)
というふうに切り出してしまったけど、これは本来の
　　A → ((B → C) → D)
という結合関係を無視してる（「A -> (B -> C)」という型を扱うみたいに書いている）。
ってのが>>142でしょ。

カリー化の影響として、「複数の引数をとる」
　　(A × (B → C)) → D
ことと、「関数を返す」ことの、どちらに主眼があるかが不明瞭になるってのがあると思うね。