<div dir="ltr"><div>Yeah, S0 and S1 are probably worth including for the sake of completion. We don't have a 1-tuple, and I believe that's caused a bit of trouble for people writing generic libraries. Enough trouble so that somebody wrote a OneTuple package[1] anyhow.<br>
<br></div>Of course, S0 is isomorphic to Void and S1 is isomorphic to Identity, but I don't think that's a big deal especially given that S2 is isomorphic to Either.<br><br>[1]: <a href="http://hackage.haskell.org/package/OneTuple-0.2.1/docs/Data-Tuple-OneTuple.html">http://hackage.haskell.org/package/OneTuple-0.2.1/docs/Data-Tuple-OneTuple.html</a><br>
</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Fri, Feb 14, 2014 at 3:38 PM, Tillmann Rendel <span dir="ltr"><<a href="mailto:rendel@informatik.uni-marburg.de" target="_blank">rendel@informatik.uni-marburg.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi,<br>
<br>
Omari Norman wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<a href="http://hackage.haskell.org/package/anonymous-sums" target="_blank">http://hackage.haskell.org/<u></u>package/anonymous-sums</a><br>
</blockquote>
<br>
What about S0 and S1?<span class="HOEnZb"><font color="#888888"><br>
<br>
  Tillmann</font></span><div class="HOEnZb"><div class="h5"><br>
______________________________<u></u>_________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/<u></u>mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div><br></div>