static bool tripleEqualsByContentsIC(T3<Symbol> a, T3<Symbol> b) {
  ret a == null ? b == null
    : eqic(a.a, b.a) && eqic(a.b, b.b) && eqic(a.c, b.c);
}