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