let option ~f = function
  | Some o -> f o
  | None -> empty