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

[Carl Marks]

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