で、Existential P の　型 P.Protocol は、それ自体は「型のコンテナ」ではないから、真の型を内包しない。

1:21 PM

Existential P型の値は、値のコンテナだから、T型の真の値を内包する。

1:21 PM

P.TypeはPにconformする型のメタタイプのsupertype

そうだと思う。