It will be mid-section 6, and section 7.
Free algebras over a functor, and further down, and how they are related to codensity monad.
The most intriguing parts.
Dan, hope it's okay with you as a host; if not, pls let me know.
Shachaf, hope you'll be back by this time.
Neuman, a special invitation for you to come; I hope you'll find and read the paper, at least the parts that we were talking about.
Ralf Hinze, "Kan Extensions for Program Optimisation
Or: Art and Dan Explain an Old Trick" http://www.cs.ox.ac.uk/ralf.hinze/Kan.pdf