実行時、Existentialが準拠すべきプロトコルを検索する際に、検索結果を格納するデータ構造が必要になる。それがwitness tableで代用されてて、Existentialのメンバを使う際にもそれを活用できて便利、な感じ？