let iter: 'a option -> f:('a -> unit) -> unit = fun o ~f ->     match o with     | None -> ()     | Some s -> f s