let (>>=) x f =
    match x with
    | None -> None
    | Some y -> f y

let add_options a b =
    a >>= fun _a ->
    b >>= fun _b ->
        Some (a + b)