let some ~or_fail = function
  | None -> fail or_fail
  | Some s -> return s