Comment by jnordwick

wtf?

> Clearly it’s equivalent to Choice’s use of a boolean tag. Isn’t it remarkable that algebraic manipulations agree with our intuition?

no, thats not interestimg at all. It is literally just encoding left/right in a bool.

that page seems to be doing "calculus" not on the sets but the sizes of the sets. entirely uninteresting and boring.

Haskel: making the easy stuff hard.