>>387
もとの　λxλy.Pxy　も 　λxλy.(Px)y のつもりで書いたものであり、
これはすでにカリー化されています。
多変数関数を直接に扱える便利な（変わった？）定義法はどこかで提案されているのでしょうか？