見てない間に進んでた。

つまり、Animal型の変数を持つときに let animal: Animalは駄目になって、

let animal: Any<Animal> がOKになると色々整合性取れてきそう良さそう。