>This is unlike C++ templates which are effectively copy-pasting the resolved type with the generic for every occurrence of type resolution. Even this can lead

>This is unlike C++ templates which are effectively copy-pasting the resolved type with the generic for every occurrence of type resolution. Even this can lead to unworkable compile times, to the point that code is rewritten.