オーバーライド可能なメソッドの返り値部分はそのままで、引数部分はcovariance/contravarianceが反転する