static <A> JTree jDynTreeFromTree(Tree<A> tree) {
  ret jDynTree(tree,
    func(Tree<A> tree) -> L<Tree<A>> { tree.children() },
    valueToText := (IF1<Tree<A>, S>) t -> str(t.value()));
}