Understanding category theory would help you understand at a deeper level the idea of a monad, et al. Haskell uses a small subset of the math, IIRC. This is mo

Understanding category theory would help you understand at a deeper level the idea of a monad, et al. Haskell uses a small subset of the math, IIRC. This is more for mathy people who want to see where it comes from. I'm not sure it would actually be helpful in understanding (as Haskell is a few notches down the abstraction post than categories). EDIT: Furthermore, it might require a heftier background in abstract algebra than most people have/want.