Haskell におけるカリー化

前に Python でカリー化の話をしましたが、実は Haskell だと話がもっと単純になります。

f :: a -> b -> c

という関数を定義したとしましょう。このとき型 a の変数 x に対して

f x :: b -> c

になっています。これはまさにカリー化の構図そのものです。