static <A> A restructureVerbose(A a) {
  ret (A) unstructure(print("structure", structure(a)));
}