static L secondOfListsWhereFirstEqic(S a, Cl<L> l) {
  new L out;
  for (L x : l)
    if (eqic_gen(first(x), a))
      out.add(second(x));
  ret out;
}