Return the product type containing the values of the first occurence of each type in the input product type.
Computes the type returned by a call to kumi::all_unique.