静的型付け大好きだけど
型推論で書くの省略できる方が良いよ

え?読むときに型がないと面倒?
OCamlみたいに型シグネチャを自動生成するか
IDEに表示させれば良いじゃん?