monads lib: made all monad types doubly param'd; required plus,zero from all monads
[lambda.git] / advanced_topics.mdwn
1 ##[[Version 4 lists]]##
2 ##[[Monads in Category Theory]]##