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