sclass SameTypePair<A> extends Pair<A> {
  A get(int i) {
    if (i == 0) ret a;
    if (i == 1) ret b;
    fail("Index out of range", i);
  }
}