let map f = function
    | Top -> Top
    | Value set -> Value (f set)