static <A> void printTreeView(TreeView<A> t) {
  if (t == null) ret;
  print(t);
  temp tempIndent();
  for (TreeView<A> c : unnull(t.children()))
    printTreeView(c);
}