// TODO: does not detect set type (hash/tree) when it's synchronized
static <A> Set<A> cloneSet(Cl<A> set) {
  if (set == null) ret new HashSet;
  synchronized(collectionMutex(set)) {
    Set<A> s = similarEmptySet(set);
    s.addAll(set);
    ret s;
  }
}