static <A, B> Ext<B> extLift(B b, Ext<A> a) {
  Ext<B> ext = ext(b);
  copyDynamicObjectValues(a, ext);
  ret ext;
}