SPJ's book about the same topic is very good.

https://simon.peytonjones.org/slpj-book-1987/