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