なるほど、Existentialにできないプロトコルの is P が書けるのか