部分適用は、カリー化によって可能となる。 では、カリー化とは。 すべての関数は一引数の関数として扱うこと。 f :: Num a => a -> a -> a と定義された関数があるとき、fは2引数の関数である。 これに、例えば Numクラスに属する型の値 x を適用すると、（…