The derivative of a type is its "zipper", a datatype for representing a "hole" that moves around the data structure. http://strictlypositive.org/diff.pdf