cpp/utility/pair/tuple element

The partial specializations of for pairs provide compile-time access to the types of the pair's elements, using tuple-like syntax. The program is ill-formed if