サブクラスのほうが受ける型を狭めたいんでしたっけ？ (edited)