型情報が添加されたコードが不恰好になるので嬉しくない気がしますねえ別に言語を2モード作らなくても、今のままでも、IDEが推論の重い部分式をみつけることはできるので、それが推論の軽い書き方にリファクタする提案を出してくるような機能があれば、そのアイデアと同じメリットが得られそうです