fromZipper (n, (Path L pv pc pr):path) = fromZipper (Node pv pc n pr, path)
fromZipper (n, (Path L pv pc pr):path) = fromZipper (Node pv pc n pr, path)
fromZipper (n, (Path L pv pc pr):path) = fromZipper (Node pv pc n pr, path)