Basic Type Systems
Before we get into really tricky things like classes.

First-Class Values


Structs, Records, and ADTs


Type Parameters


Typeclasses