static <A, B> Map<A, B> syncAutoMap(IF1<A, B> f) {
  ret syncMap(AutoMap(f));
}