Ich hab hier jetzt nicht alles detailliert durchgelesen aber irgendwie erinnert mich das an das Paper von Stroustrup. Ganz konkret an Kapitel 2. Vll hilft es ja Concept-Based Generic Programming in C+