Type Erasure も結局中で動的ディスパッチしまくるから Existential Container のオーバーヘッドの方がマシそうと思ったけど、 Type Erasure の場合はクラスの継承で済ませられるからマシだったりするのかなぁ。構造の複雑さを考えると Type Erasure 遅そうだけど・・・。