@hackage discrete-space-map0

A discrete space map.

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