Completed type_pair.hxx