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 inte

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.