I'm writing a library at the moment with exactly this kind of issue (not quite that formulation, but morally equivalent). The whole thing would be a lot simpler (and remove the need for procedural macros to generate all of the types and impls) with variadic generics.

Would I use variadic generics regularly? Probably not. But in places where they'd be useful - boy, would they really be useful!