let map f =
    Array.map
      (function
         | None -> None
         | Some x -> Some (f x))