static HashSet mapToHashSet(O f, Collection l) {
  new HashSet x;
  if (l != null) for (O o : l)
    x.add(callF(f, o));
  ret x;
}