Product of items T1 and T2.
type carried in the first position.
type carried in the second position.
first value.
second value.