6.2.6 Representations of types