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