On 2001-05-17T09:35:19-0400, Joe Bowers wrote:

There have been several references to "a paper by Wadler" in this thread- some folks (well, at least one folk :) on this list may not be familiar with the work surrounding Haskell yet, and (from this context) This paper seems like a pretty good place to start.

Would anybody have a detailed citation for it, or (even better) is it up on the web?

Wadler's monad papers, including "Comprehending Monads", are at http://cm.bell-labs.com/cm/cs/who/wadler/topics/monads.html -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig My god, I've seen heaven. - Flute at Band Camp