DepPairs as Abstract pairs