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

改め、

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

って感じかな。