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