A modern programming language that makes developers happier.

kotlinlang

Is there a reason why the typeclass Traverse is only implemented for Tuple2, but not for Tuples of higher arity?

I think the plan with tuples was to autogen the instances so we can scale arity however we want without much work. This kinda never happened and now we only have basic instances for Tuple2 (and a few others for higher arity...). We have <https://github.com/arrow-kt/arrow/tree/master/generator-scripts> but that generates only basic definitons no instances. So tldr: no good reason, it's just not done :confused:

That file is outdated btw, the paths no longer match

Meta will project all typeclasses over Tuple22

The tuple encoding may change because the one we have now is inefitient but it can be inlined.

<https://github.com/arrow-kt/arrow-meta/blob/sv-test-proofs/prelude/src/main/kotlin/arrow/tuples/tuples.kt|https://github.com/arrow-kt/arrow-meta/blob/sv-test-proofs/prelude/src/main/kotlin/arrow/tuples/tuples.kt>