I want to note though that when it comes to template instance bloat which is one of huge memory consumers it is quite possible to design compiler in a much more efficient way, possibly with minor change to language spec.