>>476

add x y = x + y

は

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

の略記（ ¥x -> … はラムダ式のリテラル）。
どうしても書きたきゃ１段階だけ略記して

add x = ¥y -> x + y

と書いても構わない（がそう書くのは見たことがない）。