«^»
7. Other aspects of types