8. Making Our Own Types and Typeclasses

Algebraic data types intro

Record syntax

Type parameters

Derived instances

Type synonyms

Recursive data structures

Typeclasses 102

A yes-no typeclass

The Functor typeclass

Kinds and some type-foo