-let lift2 pred w arg1 arg2 =
- bind arg1 (fun x -> bind arg2 (fun y w -> pred w x y)) w;;
-intapp (intapp (lift2 saw) bill) ann 1;; (* true: Ann saw Bill in world 1 *)
-intapp (intapp (lift2 saw) bill) ann 2;; (* false: No one saw anyone in world 2 *)