let
may f =
function
None
->
()
|
Some
v
->
f v