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..