Converts a product type of product types into a product type of all elements.
Computes the return type of a call to kumi::flatten