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