コードを読む側としてはletに何が入っているのかわからないからメンテナンス性は悪い
型推論は大規模なコードを書くと、型推論がコンパイルのボトルネックになるから、敢えて定義することが多い
特にジェネリックみたいな入れ子のクラスの推論は弱い