concatenating
Construct a lazy concatenated tuple type object to represent the type that is the concatenation of the two tuple types. Make the objects be immutable, because the new type represents the concatenation of the objects at the time it was built.
Return
A simple representation of the tuple type whose instances are all the concatenations of instances of the two given tuple types.
Parameters
first
The first tuple type to concatenate.
second
The second tuple type to concatenate.