Haskellチュートリアルの最初あたりを見てる。こんな例があった。 add :: Integer -> Integer -> Integer add x y = x + yふたつの整数の和を得る関数を定義している。定義はともかくとしてその型がなぜInteger->Integer->Integerなのか？ Integer->Integer…