今は不要ならclass existentialにwitness tableは付かないって、ドキュメントに書かれてるよ。 (edited)