static <A> Ext<A> printExt(Ext<A> a) {
  ret printWith extToString(a);
}