# Pastebin n4vawD8u
let rec pair_sum p l =
  | [ ] -> p
  | [Some a; Some b] :: q -> pair_sum (a +. b +. p) q
  | _ :: q -> pair_sum p q 
;;