> You're writing code for the CPU that has to actually do something, on actual known types. (Partial) specialization, which is a feature used to get templates

> You're writing code for the CPU that has to actually do something, on actual known types. (Partial) specialization, which is a feature used to get templates to do actual something on actual types is what principally allows templates to be turing complete.