#742 arcondish Comment 742 epsilonhalbe: i guess it would be a product of products maybe. like 2^3 =~2*2*2=~ (2,(2,2)) is that along the right lines? url:Why sum and product types? 2015-12-04
epsilonhalbe: i guess it would be a product of products maybe. like 2^3 =~2*2*2=~ (2,(2,2)) is that along the right lines?