Постояно ловлю себя на мысли, что мне ужасно не хватает этой возможности — передать концепт параметром в какой-нибудь шаблон.

А прикиньте, как было бы классно:

template <typename T, template <typename> concept C>
concept RangeOf = std::ranges::range<T> && C<std::ranges::range_value_t<T>>;

void foo(RangeOf<std::convertible_to<double>> auto&& r) { /* . . . */ }

Постояно ловлю себя на мысли, что мне ужасно не хватает этой возможности — передать концепт параметром в какой-нибудь шаблон.

А прикиньте, как было бы классно:

template <typename T, template <typename> concept C>
concept RangeOf = std::ranges::range<T> && C<std::ranges::range_value_t<T>>;

void foo(RangeOf<std::convertible_to<double>> auto&& r) { /* . . . */ }