Suppose I have a set of types :
constexpr std::tuple my_types;
a set of values to identify them:
cons