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 overstructure, return the product of the entries.