The XKCD book page numbering explained (or skew binary explained)
barklund.org
barklund.org
Even partial differentiation of (algebraic) data structures is a useful operation. It corresponds to looking at data structures with `holes' in them. The functional people call them zippers.