Add Typeclasses slides and exercises