úÎ(.NoneYTo be a key in the map, a position needs to be convertible to and from a stream of bits.   cons . uncons == id   uncons zero == (zero, False) [Bool] is the free instance of . 3D discrete space 2D discrete space 1D discrete space         None1 is a zipper on an infinite perfect binary tree. 4 It contains the position and value of the focus. K The other values are stored in the derivative of a perfect binary tree. #Functions that combine 2 maps like ,  and 5 preserve the focus position of the second argument. Modify the value of the focus.   G :: (Pos p, Applicative f) => (p -> a -> f b) -> Map p a -> f (Map p b)  9 :: Applicative f => (a -> f b) -> Map p a -> f (Map p b)  6 :: (Pos p, Monoid m) => (p -> a -> m) -> Map p a -> m   ( :: Monoid m => (a -> m) -> Map p a -> m!  "0 :: Pos p => (p -> a -> b) -> Map p a -> Map p b#  $" :: (a -> b) -> Map p a -> Map p b%  & :: Pos p => (p -> a) -> Map p a'  ( :: Pos p => Map p a -> p -> a)   * :: Pos p => Map p a -> p  + :: Pos p => p -> Map p a -> a  ,% :: Pos p => p -> Map p a -> Map p a  -+ :: Pos p => (p -> p) -> Map p a -> Map p a.   / :: Map p a -> a  0( :: (Map p a -> b) -> Map p a -> Map p b1  (2) :: Pos p => Map p (a -> b) -> Map p a -> Map p b2  @ :: Pos p => (p -> a -> b -> c) -> Map p a -> Map p b -> Map p c3  ; :: Pos p => (a -> b -> c) -> Map p a -> Map p b -> Map p c4567!#%89').1234567!#%89').123:       !"#$%&!'()*+!,-./0123456756856956:;<=>?@ABCDEFGdiscrete-space-map-0Data.DiscreteSpaceMapData.DiscreteSpaceMap.InternalPosunconsconszeroMapmodify$fPos[] $fPos(,,)$fPos(,) $fPosIntegerMapDgotoD tabulateD zipWithKeyDtraverseWithKey1D$fTraversable1MapD$fTraversableMapD$fFoldable1MapD$fFoldableMapD $fFunctorMapD keys-3.0.2Data.KeyzipWith zipWithKeycomonad-3.0.1.1Control.Comonad<@>$fTraversableWithKeyMaptraverseWithKey$fTraversableMapbaseData.Traversabletraverse$fFoldableWithKeyMapfoldMapWithKey $fFoldableMap Data.FoldablefoldMap $fKeyedMap mapWithKey $fFunctorMapGHC.Basefmap$fRepresentableMaprepresentable-functors-3.0.1Data.Functor.Representabletabulate$fIndexableMapindex$fComonadStorepMapcomonads-fd-3.0.1Control.Comonad.Store.Classpospeekseekseeks $fComonadMapextractextend$fComonadApplyMap$fZipWithKeyMap$fZipMap$fTraversableWithKey1Map$fTraversable1Map$fFoldableWithKey1Map$fFoldable1Map$fAdjustableMap $fLookupMap