> Currently, the code could be written with normal overloading (one for int and one for unsigned). No traits required

f( (uint8_t)0 ) will dispatch to the overload f(int) with overloads. The type-trait code will dispatch to f_unsigned(unsigned).