TaPL

TaPL Exercise 2.2.6