add1 = \x -> \y -> x + y
add2 x y = x + y
のとき、
(add1 1)も(add2 1)も部分適用ですか？
そもそもHaskellで引数の個数はどうやって決めるんでしょうか。