コンパイル時に必要となるプロトコルが決まっているなら、class existentialにwitness tableは無くても構わないはず。> 「existential 側にプロトコル準拠情報を持つしかない」の「しかない」を否定。って事ですよね。