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