型を書かなくても、IDEが型推論の結果を表示出来れば
可読性は維持出来るんじゃないの?