7.2

6 First-Order Datatypes