static <A, B> Map<A, B> minimalNotifyingMap(Map<A, B> map, Runnable notify) {
  ret new AbstractMap<A, B>() {
    public Set<Map.Entry<A, B>> entrySet() { unimplemented(); }
    
    public B put(A a, A b) {
      map.put(a, b);
      pcallF(notify);
    }
  };
}