>>106
後者の f a は関数になるけど前者の f(a) はそれだけを取り出した場合に関数でもなんでもないのが違和感あるところ。
あえて言えば s.f(a).g(a, b) というUFCSの一部分かなあと。