<mp-units/ext/type_traits.h>
template< typename T, template<typename...> typename Type> constexpr bool is_derived_from_specialization_of = requires(T* t) { detail::to_base_specialization_of<Type>(t); };