- = fun v -> (fun c v u e -> u ((c, v e) :: e)) i v (fun e -> S Alice (lookup i e))
- = fun v -> (fun u e -> u ((i, v e) :: e)) (fun e -> S Alice (lookup i e))
- = fun v -> (fun e -> (fun e -> S Alice (lookup i e)) ((i, v e) :: e))
- = fun v -> (fun e -> S Alice (lookup i ((i, v e) :: e)) )
- = fun v -> (fun e -> S Alice (v e) )
+ = fun v -> (fun c v u e -> u ((c, v e) :: e)) i v (fun e -> S (lookup i e) Alice)
+ = fun v -> (fun u e -> u ((i, v e) :: e)) (fun e -> S (lookup i e) Alice)
+ = fun v -> (fun e -> (fun e -> S (lookup i e) Alice) ((i, v e) :: e))
+ = fun v -> (fun e -> S (lookup i ((i, v e) :: e)) Alice)
+ = fun v -> (fun e -> S (v e) Alice)