Given two different Tuple types, it is possible to run an operator on said tuples, if the operator is legal for each individual field in the tuple. For example.
Even if each field-wise operations is legal, the synthesis operation of individual results might not be obvious.