let bind o ~f =     match o with     | None -> None     | Some s -> f s