// note: auto-magic type parameter
static <A, B> AutoMap<A, B> autoTreeMap(IF0<B> f) {
  AutoMap<A, B> map = new(f);
  map.map = new TreeMap;
  ret map;
}