The first five chapters are unrelated to using the Cats library, and are an outstanding, illuminating introduction to how to think about FP in any language.