20 Mar
2007
20 Mar
'07
3:41 a.m.
On Mon, Mar 19, 2007 at 05:11:19PM +0000, Edsko de Vries wrote:
What I'm wondering about is if this monad is an instance of a more general monad(if so, which one?), and generally if people have any comments about these definitions.
It's like the Writer monad used with different monoids. Pozdrawiam Tomek