sjoerdvisscher

import Data.Traversable
import Control.Monad.Free
import Control.Comonad
import Control.Comonad.Trans.Store

type Zipper t a = Free (Store a) (t a)

zipper :: Traversable t => t a -> Zipper t a
zipper = traverse (wrap . store return)