static <A> Set<A> setIntersection(Set<A> a, Set<A> b) {
  Set<A> set = similarEmptySet(a);
  for (A x : a) if (b.contains(x)) set.add(x);
  ret set;
}