Prerequisite: An understanding of fundamental language and programming background in ML and Haskell, provided in online Appendices B and C, respectively, is requisite for our study of type concepts explored through ML and Haskell in Chapters 7–9.