-(* This is the intensionality monad discussed in the lecture notes for week 7. *)
+(* This is the intensionality monad discussed in the lecture notes for week 8. *)
type s = int;; (* integers model possible worlds *)
type e = char;; (* chars model individuals *)