Problems for Chapter 3 - Type Variables