プロトコルの後付けを考えると existential 側に witness table を持つしかない