
23 Jan
2007
23 Jan
'07
1:54 p.m.
I wrote:
You have written a great explanation of how ListT works by writing out its definitions in an interesting way!
Dan Piponi wrote:
I put quite a bit of time into understanding why the old ListT isn't a monad [1]. But I thought I didn't yet understand the new one. Now I see that I did, I just didn't know that I understood it! :-) [1] http://sigfpe.blogspot.com/2006/11/why-isnt-listt-monad.html
Hmm, I thought it was the old one...