Haskell屋の気に入らないところは、さんざん型を崇め奉る癖に、
自分のコードには型宣言をほとんど書かないこと。
型が仕様だというなら、推論させずに自分でちゃんと書け！
そうすればSystem F並の記述力も得られるだろが