Exercises designed specifically to demonstrate parametricity