>>483
違う。xだけ束縛している。
例えば、リストの全ての要素にnを加算するなら、
addAll n list = map (add n) list
と書ける。このとき、addの第一引数はnに固定されている。

yだけ束縛したいなら、
add_y x = add x y
または、無名関数を使って
\x -> add x y
で良い。