引数で使ってる型はcontravarianceだから継承先では広がらないといけない