皆さん！（実は一人かもね？）
カリー化って本家は、Haskell Curryでしょう？
で、Haskell98Reportを以下Referします。
The special form -e denotes prefix negation, the only
prefix operator in Haskell , and is syntax for negate (e).
The binary - operator does not necessarily refer to the
definition of - in the Prelude; it may be rebound by the
module system. However, unary - will always refer to the
negate function defined in the Prelude. There is no link
between the local meaning of the - operator and unary
negation.
Prefix negation has the same precedence as the infix
operator - defined in the Prelude (see Table 4.1).
Because e1-e2 parses as an infix application of the binary
operator -, one must write e1(-e2) for the alternative
parsing. Similarly, (-) is syntax for (\ x y -> x-y),
as with any infix operator, and does not denote (\ x ->
-x)---one must use negate for that.
小生は単にチルダ「~」これが気に入らんと言う実に不可価値の
「ある」主張をしておるのです。negateなら誰でも理解出来るで
しょう？しかしチルダって、べき乗か？ひょっとすると虚数か？
ひどいのはゴミか？とかさぁ（藁藁）言語学的に無理があると
申しておるのです。あまりゴチャゴチャ言うようならこのML板に
居座るからね。（大藁藁）