let height = function
        Empty -> 0
      | Node(_, _, _, h) -> h