Writing a recursive base class concept in C++

Question

In C++, I want to restrict the template parameter T of class Foo to strictly be an inheritor of Foo. To do this, I write