Без заголовка

Я перестал понимать: ты этот вот кусок полиморфизма относишь к метапрограммированию? А ты представь, что у тебя теггированная память, и вместо полиназначения — if или case над тегом :)