Constructs a tuple where the ith element is the product type of all ith elements of ts...
Computes the return type of a call to kumi::zip_max