Haskell のひとつ以上の引数をとる関数はカリー化された関数として定義される。 add :: Int -> Int -> Int -> Int add x y z = x + y + z add1 :: Int -> (Int -> (Int -> Int)) ((add1 x) y) z = x + y + z add と add1 は同等である。 Int -> Int ：Intの…