つまり、<Foo: Protocol>(foo: Foo)においてFooは具体的な型パラだが、fooはProtocol型変数と変わらない状態?

で、プロトコル型変数 (Existential) は、 (x, wt, xt)の 3 つのフィールドをもつ struct みたいなバイナリになるから、変わらないっちゃ変わらない