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.