static <A> Ext<A> ext(A a) {
  ret Ext(a);
}