ああ、Existential Pの型はP.Protocolですね、これは名前がややこしいな

1:20 PM

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