&lt;</span><a href="to-list.html">T</a><span class="token operator">&gt;</span></div><div class="symbol monospace"><span class="token keyword">fun </span><span class="token operator">&lt;</span><a href="to-list.html">T</a><span class="token operator">&gt; </span><a href="-tuple7/index.html">Tuple7</a><span class="token operator">&lt;</span><a href="to-list.html">T</a><span class="token punctuation">, </span><a href="to-list.html">T</a><span class="token punctuation">, </span><a href="to-list.html">T</a><spa