This is the post about what books we could have if we were a bit more conscious of that.
Never Be Back: Domain-Specific Languages In Haskell
There is an academic (text)book for that: “Software Languages”, maybe someone could make a more applied/industrial version.
The Correct Software. A Haskeller’s Perspective
For correctness I like the book “Program Design by Calculation”, although again it is mostly academic.