戻り値

コメントありがとうございます。

a -> b -> c の戻り値は b -> c なのさー。

とすると引数は一つずつということなのですね。動きとしてはこんな感じでしょうか。

  f(a, b) = a + b
という定義をした場合に
  f(5, 3)
と呼び出した時は
  g(c) = 5 + c
という関数gが戻ってきて
  g(3)
が呼び出されて
  8
が返ってくると。

本を読み進めると分かるのかな？