不格好になるというのを問題視するのであれば，型推論が軽くなるリファクタリングを提案してくれる機能が追加されたとしても同じ問題が生じてしまう気がしますね．