Control.Zipper.Simple

data Root a

data z ==> a

data z =*=> a

class Rooted z

class Focused z

class Ascend z

root

descendLens

descendPrism

descendList

leftward

rightward

deleteFocus