static bool eqicOrEq(O a, O b) {
  ret a instanceof S && b instanceof S ? eqic((S) a, (S) b) : eq(a, b);
}