static Ext mapLike extMap_verbose(O f, Ext a) {
  Ext e = extLift(callF(f, getVar(a)), a);
  ret setDyn(e, lastFunction := f);
}