What I meant is:<p>(0) Expand the templates at compile-time, in order to type-check the code.<p>(1) Don&#x27;t generate target language code for each specific instantiation, though.<p>(2) Re-expand the templates (or some representation of them) at runtime.<p>It&#x27;s a very silly implementation strategy, of course. But I don&#x27;t see why it&#x27;s fundamentally impossible to do this - it&#x27;s just undesirable.<p>And, yes, I agree about generics being better.