<pre class="shiki github-dark shaku"><code>type TupleToString&lt;T extends unknown[]&gt; = T extends [infer A, ...infer B] ? `${A &amp; string}${TupleToString&lt;B&gt;}` : "";</code></pre>

Simple solution

Implement TupleToString<T> to return a new type by concatenating all the string to a new string type. type A = TupleToString<['a']> // 'a'type B = Tup…