Chapter 3: Polymorphic Lists -- initial commit