From: Jim Pryor Date: Sat, 11 Dec 2010 18:03:59 +0000 (-0500) Subject: monads lib: made all monad types doubly param'd; required plus,zero from all monads X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=58bf3ee4a3e5ee6e343787e432602b677a596109;hp=58bf3ee4a3e5ee6e343787e432602b677a596109 monads lib: made all monad types doubly param'd; required plus,zero from all monads Signed-off-by: Jim Pryor ---