static Ext mapLike extMap(O f, Ext a) {
  ret extLift(callF(f, getVar(a)), a);
}