8.6

6 First-Order Datatypes