あ、ですです

6:55 AM

これは通らない、通そうとすると、Pの宣言が全て暗黙的にtype-erasure相当の具体型ということにならないといけないはず

6:55 AM

或いは

6:57 AM

AnyかAnyObjectのように、Protocolのまま型パラに入れれるようにならないといけない。

6:57 AM

ところでなんでAnyとAnyObjectは型パラになれるんですか？

6:57 AM

nominaltype(でしたっけ?)と関係あるのかな。