1. 13

This question led to a series of related blog posts by the author:

Culminating in the awesome reveal that a zipper is nothing but the differentiation of its associated ADT.


  2. 6

    The standard paper on ADT derivatives is Conor McBride’s The Derivative of a Regular Type is its Type of One-Hole Contexts