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