Comment by monoideism

Agreed. This is a great book. It's changed the way I use statically-typed functional languages.

This article is very much in the same vein.