+++ /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.