しかしHaskellでプログラミングしていると小さい関数を大量に作るから、
いちいち型を記述するのは面倒くさいぞ。
関数の中のwhere節で関数を作るときなんか型をいちいち書いていたら見苦しくて仕方ない。
無名関数でも型推論を信じていちいち型宣言はしない。
分かりきったことを自動化するのはコンパイラの役目だと思う。