関数 curry

以前 Haskell におけるカリー化の話をしたが、実際に

f :: (a,b) -> c

という 2 変数(というか変数の組)を取る関数に対して

curry :: ((a,b) -> c) -> (a -> b -> c)

という関数があって、定義では

curry f = \x y -> f (x,y)

となっている。