Differentiation of an algebraic data type, resulting in its zipper: https://upload.wikimedia.org/wikipedia/commons/c/c7/Labyrinth-Finger.png https://upload.wiki

Differentiation of an algebraic data type, resulting in its zipper: https://upload.wikimedia.org/wikipedia/commons/c/c7/Labyrinth-Finger.png https://upload.wikimedia.org/wikipedia/commons/c/c7/Labyrint... Explanation: https://en.m.wikibooks.org/wiki/Haskell/Zippers https://en.m.wikibooks.org/wiki/Haskell/Zippers (cites: http://strictlypositive.org/diff.pdf http://strictlypositive.org/diff.pdf)