> describing monads in terms of their strict category-theoretical definition helps no one, especially those new to Haskell. I am a counterexample: the descript

> describing monads in terms of their strict category-theoretical definition helps no one, especially those new to Haskell. I am a counterexample: the description of a monad as a monoid in the category of endofunctors actually helped me, especially when I was new to Haskell. I am a mathematician, and happen to know category theory enough to appreciate this description. Also, I am a little tired of hearing "you don't have to know category theory in order to learn Haskell". What if I already DO know category theory? I wish someone wrote a tutorial or a book explaining Haskell to mathematically inclined readers and not dismissing (in a kind of anti-intellectual way) simple algebra as "useless abstractions".