ex.Animal と ex.Cat の間にはサブタイピング関係があるけど、素直に where T.Pet : Animal と書いてしまうと、exisとは関係ないプロトコル制約の意味になっちゃって、それが使えないねえ