towards monads: use u,v for monadic terms
[lambda.git] / assignment6.mdwn
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.