This is a very important point although I would slightly tweak this > the Monad thing in Haskell has pretty much nothing to do with the Monad in Category Theor

This is a very important point although I would slightly tweak this > the Monad thing in Haskell has pretty much nothing to do with the Monad in Category Theory to "the Monad thing in Haskell is a very simple special case of the Monad in Category Theory". Thinking you have to "learn category theory" before you can use a Monad in Haskell is like thinking you have to learn this https://en.wikipedia.org/wiki/Function_space#Functional_analysis https://en.wikipedia.org/wiki/Function_space#Functional_anal... before using a function.