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.