実装を見てみないとわからないですが、手書きだと二段階ディスパッチになってる部分が、コンパイラサポートなら効率的な実装を生成できそうな気がしますね。