[dom0]

I'd rather have code in headers and longer compiler times than type erasure.

[gpderetta]

C# is capable to instantiate templates at runtime/dynamic link-time so there is no need to compromise.

Instantiation at static link time would be feasible in C++, but runtime instantiation would require an heavy runtime which is frowned upon in C++.