sS renderInequality(S a, S b) {
  ret a + " != " + b;
}

sS renderInequality(Pair<S> p) {
  ret p == null ? null : renderInequality(p.a, p.b);
}