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.