「型を知っていればoverrideできる」なら、「最初からその型で実装すればよい」になる