カリー化
Haskell の標準関数 curry は、カリー化と厳密には違う動作をする。この関数は (a, b) -> c という型を持つ関数を a -> b -> c 型の関数に変換するが、元の関数は「2 要素のタプルを取る 1 引数関数」であり、2 引数関数ではない。Haskell は全ての関数が 1 引数関数であり(つまり、全ての関数が元々カリー化された形であるとも表現される)、Haskell プログラムでは、厳密な意味でカリー化を行う関数は定義できない。ただし型理論上は、X, Y という型の要素を持つタプルの型は直積 X × Y {\displaystyle X\times Y} とほぼ同一視できるため、必ずしも誤用というわけではない。