A discrete space map implemented as a zipper on an infinite perfect binary tree.