Existential自体をprotocolに適合させたいという業が発生しがちになってきた