7.8

6 First-Order Datatypes