書かなくても自明なわけだし、自動的に推論されてもいいような気もしてきた。