let private allOrNone list =
  let rec loop xs ys =
    match xs with
    | [] ->
      Some ys

    | None   :: xs -> None
    | Some y :: xs -> loop xs (y :: ys)
  in
    loop list []