static <A> A assertNempty(A a) {
  if (empty(a))
    fail("empty: " + structure(a));
  ret a;
}