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