This textbook is about systematic problem solving and systematic reasoning using type-driven design. Divide and conquer is the process by which a large problem is broken into two or more smaller problems that are easier to solve and then the solutions for the smaller pieces are combined to create an answer to the problem.