ot left (treeInsert right x))

updateDiffs :: Tree a -> Tree a
updateDiffs Empty = Empty
treeInsert :: Ord a => Tree a -> a -> Tree a
treeInsert Empty x = (Node 0 x Empty Empty)
treeInsert Empty x = (Node 0 x Empty Empty)