7.1

6 First-Order Datatypes