A recursive_iter_value_t template structure

Question

I am trying to implement a recursive version std::iter_value_t with C++20 concept so that the base type T of nested container like std::vector