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