witness tableはコンパイル時に検索した結果をデータと一緒に取り回す事で、実行性能を改善してる仕組み、という理解ですちょっとハッキリさせるために今コード書いて確認してます。