Transpose a product type of product types by shifting elements in their transposed position always returning a tuple as the external product type.
Computes the return type of a call to kumi::transpose