let is_empty = function | Empty -> true | _ -> false