For a tuple T where each component lies in a structure that supports multiplication and such there exists a common over structure, return the product of the entries.