static <A> Ext<A> mapMethodLike extTrans(S info, Ext src, A a) {
  Ext<A> e = ext(a);
  mapPut(e.fieldValues, +src);
  mapPut(e.fieldValues, +info);
  ret e;
}