Figure 16.4    Type Class Hierarchy