I don't think a Haskell-monad book would be terribly interesting. A book on taking the pieces of category theory, with a little bit more of the math, to apply to Haskell would be greatly interesting to me.Also a book on learning what to look for for measuring Haskell performance in space and time + optimization seems like it'd be a good thing to have as well.