static <A> Set<A> setUnion(Set<A> a, Collection<A> b) {
  Set<A> set = similarEmptySet(a);
  addAll(set, b);
  ret set;
}