witness tableでもそこを抽象的に言っても、何も持たなくても毎回キャストする実装で動かすことはできるので、いずれにしても「しかない」は間違いでは。