Recursive sum-of-products types also let you do things that sums and products alone cannot.