tarunon 8/8/2019 9:10 AM

そもそもこの場合、Pはprotocolではないから&は出来ないのでは (edited)

9:10 AM

protocolを埋めてもexistentialになるので