static <A> A restruct(A a) {
  ret restructure(a);
}