↑は単に some Any が Animal になってるだけじゃないですか？