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

プロトコルの後付けを考えると existential 側にプロトコル準拠情報を持つしかない (現在の実装はwitness tableで表現)