let
( +++ ) x =
function
Some
y
->
add y x
|
None
->
x