人間がすぐに推測できない不適切なケースでの型の省略って、相手の時間を奪ってるっていう認識がないと思うんですよね