fromZipper (n, (Path R pv pc pl):path) = fromZipper (Node pv pc pl n, path)
fromZipper (n, (Path R pv pc pl):path) = fromZipper (Node pv pc pl n, path)
fromZipper (n, (Path R pv pc pl):path) = fromZipper (Node pv pc pl n, path)