<span class="token operator"> = </span><span class="breakable-word"><span class="token string">"4.0"</span></span></span><wbr><span class="token punctuation">)</span></div></div><span class="token keyword">data </span><span class="token keyword">class </span><a href="-not-empty-set/index.html">NotEmptySet</a><span class="token operator">&lt;</span><span class="token keyword">out </span><a href="-not-empty-set/index.html">E</a><span class="token operator">&gt;</span> : <a href="-not-empty-collection/index.ht