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