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