monads lib: made all monad types doubly param'd; required plus,zero from all monads
[lambda.git] / y-combinator-fixed.jpg
y-combinator-fixed.jpg