Problems for Chapter 3 - Believe the type