--- /dev/null
+1. Test all three monad laws for the intensionality monad. To do
+this, download the code and load it into your Ocaml evaluator (`# #use
+"intensionality-monad.ml";;`). For instance, what does evaluating
+`bind (unit 'c') (swap left) 2 == swap left 'c' 2;;` show? Please
+explain briefly but clearly what you are doing in your discussion.
All of the code in the discussion below can be found here: [[intensionality-monad.ml]].
To run it, download the file, start Ocaml, and say `# #use
-"intensionality-monad.ml"`.
+"intensionality-monad.ml";;`.
Here's the idea: since people can have different attitudes towards
different propositions that happen to have the same truth value, we