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