Declaring Pair with one fixed type

Thanks, that’s very helpful, and the suggestion about AbstractString is a good one.