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