存在型へのpack/unpackが暗黙的に行われているのでサブタイプっぽく振る舞えるのがややこしくしている原因かなと思います。

12:27 PM

Animal.self is Animal.Typeはfalseになるのが正しい？

12:27 PM

Self: Animal って意味ならtrueが正しいです (edited)