Add Traverse
Add (incomplete) IO
Add unit
Add free monad exercises
Add chapter 14 exercises