Здравствуйте, lpd, Вы писали:

lpd>Вместо шаблонов почти всегда достаточно использовать полиморфизм, как уже упоминал Qbit86.

Интересно было бы посмотреть на type-safe union без шаблонов на полиморфизме.