Darcs.Witnesses.WZipper
data FZipper a