Create a new arbitrary for type Pair using the existing arbitrary for generating the elements of the pair.
a new arbitrary instance