4 ms·Recursive sum-of-products types also let you do things that sums and products alone cannot.by kd0amg 5y agoRecursive sum-of-products types also let you do things that sums and products alone cannot.