Writing a book in LaTeX (Functional Programming, Simplified)