Sun May 27 15:26:58 EDT 2018

Sums and Products..

Maybe this is just syntax?

if' will do case analysis that looks like it is a product.

The thing is maybe that different cases have different matching, and
that you would use sums for analysis and products for constructions?
I.e. they are dual that way?

I'm not really sure where this is going or if it even makes any sense..