Personally I'd consider this technical debt added to the compiler and language. Why wouldn't we tackle doing it right?
I realize that this could be seen as "holding hostage" a useful ergonics improvement, but you could also argue it the other way: variadic generics and non-nominal type conformances are super important language feature for lots of reasons. Doing them right is the most important thing we as a language community need to resolve. Variadic generics / non-nominal conformances are bricks in the language, hashability for tuples is spackle.
-Chris