<pre class="shiki github-dark shaku"><code>type Add&lt; A extends number, B extends number, TA extends number[] = [], TB extends number[] = []&gt; = TA["length"] extends A ? ( TB["length"] extends B ? [...TA, ...TB]["length"] : Add&lt;A, B, TA, [...TB, 1]&gt;) : ( TB["length"] extends B ? Add&lt;A, B, [...TA, 1], TB&gt; : Add&lt;A, B, [...TA, 1], [...TB, 1]&gt;);</code></pre>

This is my accepted solution

Implement Add<A, B> to get the sum of two positive integers. type A = Add<1, 2> // 3type B = Add<0, 0> // 0…