3.15.1.2. Constructed Data Types