C++'s "Curiously Recurring Template Pattern"
template <typename T>
class Foo {};
class Bar : public Foo<Bar> { ... };