1 1. Test all three monad laws for the intensionality monad. To do
2 this, download the code and load it into your Ocaml evaluator (`# #use
3 "intensionality-monad.ml";;`). For instance, what does evaluating
4 `bind (unit 'c') (swap left) 2 == swap left 'c' 2;;` show? Please
5 explain briefly but clearly what you are doing in your discussion.