Return the Cartesian Product of all elements of its arguments product types.
Computes the type returned by a call to kumi::cartesian_product.