Chapter 17 book examples
Exercise 1 complete
Exercise 3 complete
Use existential type