Merge tuples types

Could I do something clever to merge tuples?

For example:

I have two values, and I want to create a new combined tuple value from them. If one of the two values is a tuple, I’d like to unfold it in the new type.

Any suggestions?