et-of.html">E</a><span class="token operator">&gt;</span></div><p class="paragraph">Creates a <a href="-not-empty-set/index.html">NotEmptySet</a> starting with a <a href="not-empty-set-of.html">head</a> and containing all the elements of the optional <a href="not-empty-set-of.html">tail</a>.</p></div></div>
</div>
      <div class="footer">
        <span class="go-to-top-icon"><a href="#content" id="go-to-top-link"></a></span><span>Â© 2023 Copyright</span><span
                class="pull-right"><span>Gen