Forget about the monadic structure on an endofunctor
authorIain Lane <laney@ubuntu.com>
Wed, 15 Sep 2010 12:33:57 +0000 (13:33 +0100)
committerIain Lane <laney@ubuntu.com>
Wed, 15 Sep 2010 12:36:32 +0000 (13:36 +0100)
commita2b896466507f0cbf16dff2c7a7b462a7a3796e7
treed5d58773d66dfee1eb2757936fa352b7587b5936
parent68af23e0aa2fa484a64c6cd31852968e24d10d37
Forget about the monadic structure on an endofunctor
Monad.agda