Simon Peyton-Jones explaining lenses clearly and enjoyably, with one of the best explanations of functors I’ve seen as well.