> Matthew, I'm an imperative languages guy (did some lisp ages ago...) but find itchy that in your enumeration you seem to put Haskellite monads in other shelf than the category-theory ones. I had the vague impression that in Haskell there was more or less the intention to reflect the mathematical idea (as in say Moggi), even if in some dialectal form or obeying language servitudes.

Haskell monads are just monads on the category Hask (which is a haskell programing term for the somewhat nebulous category of haskell types and functions).

Haskell monads are just monads on the category Hask (which is a haskell programing term for the somewhat nebulous category of haskell types and functions).