Not really, because with real hlists and pattern matching I can extract the generic types too and use them with generic overloaded procedures. If I only use variants I can't even implement hlists(I'd need existential types too) and I wouldn't have any way to iterate over them without PM.
I ditched heterogen lists and I'm investigating 2 possible solutions: 1. using concepts and implicits conversions(matching things at addition etc.) 2. using normal seq with a "heterogen cell" which holds the data and the handler - this one only needs overloaded procedures or concepts to work.
