Started on Typeclasses, stopped at pg 143