Add code examples for chapter 3 -- Polymorphism and Higher-Order Functions