Java のノリだと
interface は型でただの interface 型の変数はただのポインタだから、一番最初の説明で AnimalProtocol に Cat 入れるの見て、前知識がない人だと existential って何？ interface と違うの？ってなりそう。