普通、Animal型の変数にはDogが代入できるけど、この場合は実体があるから、書き込みがcontravarianceなのね