Add some examples of monad laws using "safe division"
[lambda.git] / szabolcsi-reflexive.jpg
szabolcsi-reflexive.jpg