--size :: Tree a -> Int
--size Empty         = 0
--size (Node a ts) = 1 + [size t | t<-ts]