static bool pairWithSameElementLeftAndRight(Pair p) {
  ret eq(p.a, p.b);
}