[Haskell-cafe] Re: Category theory monad <----> Haskell monad

On 14/08/05, Carl Marks wrote:

Is there any text/article which makes precise/rigorous/explicit the connection between the category theoretic definition of monad with the haskell implementation?

I did try to do this in my (rejected) paper "A monadic interpretation of tactics" with Andrew Martin: http://web.comlab.ox.ac.uk/oucl/work/jeremy.gibbons/ publications/index.html#tactics [That should be all on one line, but my newsreader won't let me exceed 80 chars. :-( ] If you ignore the stuff on tactics, you could view it as yet another general introduction to monads. Jeremy