>>478

ありがとうございました。略記法なんですね。

add = \x -> ( \y -> x + y )

の正確な意味はまだわかりませんが、こっちのほうは意味がはっきり
わかります。