Template Inheritance

[Gorge Jingale via Digitalmars-d-learn]

I like to build structures using template mixins because one can 
pick and choose functionality at compile time, but still have a 
relationship between different types.

It would be really nice if one could sort of test if a template 
mixin was "mixed" in(or ideally, struct S : SomeTemplate 
(template inheritance)).

While one can overcome a lot of the issues by doing static 
checking(e.g., does IsSomeTemplate compile or other introspective 
like checks), it is a bit messy and clutters up the code.

Does anyone do stuff like this and have a nice elegant way?