仮にprotocolに制約の後付けができるようになるとしたら、それはexistentialに対して行う操作になるのでは (edited)