The book is almost complete, one more chapter go to. Chapter 13 ("Free typeclasses") already has some technical derivations written up, and the beginning of the chapter is already there.
[ ] Derive the properties of the free monad and other free typeclasses.
[ ] Use the Church encoding to derive arbitrary free typeclasses and combinations of typeclasses.
[ ] Define the universal quantifier and the existential quantifier and explain their properties.
The book is almost complete, one more chapter go to. Chapter 13 ("Free typeclasses") already has some technical derivations written up, and the beginning of the chapter is already there.