cpp/utility/pair/common type

The common type of two s is a of both common types of corresponding element types of both s.

The common type is defined only if both pairs of corresponding element types have common types.