is P.Type はその型の値が existential P に代入できる型かどうかを示しているんじゃないか？ existential P それ自体は conform P していないから、 P に代入できない

12:51 PM

その型それ自体が existential P であるかどうかのテストは is P.Protocol