-- | /O(log n)/. Retrieves the maximal key of the set, and the set
-- stripped of that element, or 'Nothing' if passed an empty set.
maxView :: Set a -> Maybe (a, Set a)
maxView Tip = Nothing
maxView :: Set a -> Maybe (a, Set a)
maxView Tip = Nothing
maxView Tip = Nothing