
23 Jan
2007
23 Jan
'07
1:16 p.m.
On 1/23/07, Yitzchak Gale
You have written a great explanation of how ListT works by writing out its definitions in an interesting way!
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! :-) -- Dan [1] http://sigfpe.blogspot.com/2006/11/why-isnt-listt-monad.html