[swift-evolution] [Proposal] Tuple Extensions

[Joe Groff]

> On May 3, 2016, at 9:52 PM, Robert Widmann <devteam.codafi at gmail.com> wrote:
> 
> Trouble is that I don't want variadic generics without corresponding support from the type system which is untenable without HKTs (see last paragraph of proposal).  C++'s variadic implementation of std::tuple is not elegant to my mind, and would have no place in a library I could think of writing.

I think we'd keep tuples as a builtin type. Variadics would just let you implement Equatable/Hashable/etc. once for all tuple arities. I don't see why we'd need HKTs for that.

-Joe