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