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.

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.

[1]: http://hackage.haskell.org/package/OneTuple-0.2.1/docs/Data-Tuple-OneTuple.html

On Fri, Feb 14, 2014 at 3:38 PM, Tillmann Rendel <rendel@informatik.uni-marburg.de> wrote:

Hi,

Omari Norman wrote:

http://hackage.haskell.org/package/anonymous-sums

What about S0 and S1?

Tillmann

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe