Starting "Recursion Polymorphism Prelude" chapter with Recursions
Polymorphism
Total and Partial Functions
Starting chapter "High-order functions and Type inference"