An ordered pair of objects of potentially different types
Example
<t-----> <first>...</first> <second>...</second> </t----->