An extension to the subtype relationship in C++ implemented with template metaprogramming
István Zólyomi, Zoltán Porkoláb, Tamás Kozsik · 2003
Families of independent classes, where each class represents a separate, orthogonal concern are highly attractive for implementing collaboration-based design. However, required subtype relationship between such families cannot be expressed in many programming languages.