Hi list!<div>Could you please give me a quick example of navigating throw Data.Typeable.Zipper built on top of a Rose Tree? </div><div>eg. (See ??? in the last line - is my question)</div><div><br></div><div><div>{-#LANGUAGE TemplateHaskell, DeriveDataTypeable, TypeOperators #-}</div>
<div><br></div><div>import Data.Typeable.Zipper</div><div><br></div><div>data Tree k a = Tree {</div><div>    _rules :: [(k,Tree k a)]</div><div>    } deriving(Show, Typeable)</div><div><br></div><div>$(mkLabelsNoTypes [&#39;&#39;Tree])</div>
<div><br></div><div>atree = Tree [(1, Tree []), (2, Tree []), (3, Tree [(11, Tree [])])]</div><div><br></div><div>moveToLeftmostChild :: (Typeable k, Typeable a) =&gt; </div><div>    Zipper1 (Tree k a) -&gt; Zipper1 (Tree k a)</div>
<div>moveToLeftmostChild z = moveTo ??? z</div></div><div><br></div><div>Thanks, </div><div>Sergey</div>