I don't doubt the 'what', clearly it's needed. My point was about the 'how'. See the following example code from the manual and tell me it doesn't resemble C++

I don't doubt the 'what', clearly it's needed. My point was about the 'how'. See the following example code from the manual and tell me it doesn't resemble C++ if you squint. class PersonName<string name> { assert ... string Name = name; } class Person<string name, int age> : PersonName<name> { assert ... int Age = age; } def Rec20 : Person<"Donald Knuth", 60> { ... }