The reference to C++03 having all you need is kind of odd because C++03 did not have variadic templates. Instead, you had to use typelists to abstract over tupl

The reference to C++03 having all you need is kind of odd because C++03 did not have variadic templates. Instead, you had to use typelists to abstract over tuple-like types. But typelists are available in Rust as well. Instead of (T, U, V), you'd have to write Cons<T, Cons<U, Cons<V, Nil>>>. Then structural compile-time recursion should work, subject to the usual Rust constraints.