type erasure や existential によるパフォーマンスロスを削減できる。