let singleton n = singleton_tree (n, n)