std::make_tuple with the input of a manipulated std::tuple unsing concepts in c++20

Question

Kindly considere the following godbolted code written for c++20:

#include
#include

template