In the GCC C++20 concepts lib, it has
template concept derived_from = __is_base_of(_Base, _Derived) && is