This looks pretty promising from the table of contents! It was also written by one of the main authors of GHC, the most widely-used Haskell compiler.