| branches | Zipper.Recursive.Internal, Zipper.Recursive |
| branches_ | Zipper.Recursive.Internal, Zipper.Recursive |
| children_ | Zipper.Recursive.Internal, Zipper.Recursive |
| currentIndex | Zipper.Recursive.Internal, Zipper.Recursive |
| currentPath | Zipper.Recursive.Internal |
| down | Zipper.Recursive.Internal, Zipper.Recursive |
| flatten | Zipper.Recursive.Internal, Zipper.Recursive |
| focus | Zipper.Recursive.Internal, Zipper.Recursive |
| focus_ | Zipper.Recursive.Internal, Zipper.Recursive |
| fold | Zipper.Recursive.Internal, Zipper.Recursive |
| fromRecursive | Zipper.Recursive.Internal, Zipper.Recursive |
| ichildren_ | Zipper.Recursive.Internal, Zipper.Recursive |
| Idx | Zipper.Recursive.Internal, Zipper.Recursive |
| parents | Zipper.Recursive.Internal |
| rezip | Zipper.Recursive.Internal, Zipper.Recursive |
| sibling | Zipper.Recursive.Internal, Zipper.Recursive |
| tagged | Zipper.Recursive.Internal, Zipper.Recursive |
| tug | Zipper.Recursive.Internal, Zipper.Recursive |
| unwrapped_ | Zipper.Recursive.Internal, Zipper.Recursive |
| up | Zipper.Recursive.Internal, Zipper.Recursive |
| Zipper | |
| 1 (Type/Class) | Zipper.Recursive.Internal, Zipper.Recursive |
| 2 (Data Constructor) | Zipper.Recursive.Internal |
| zipper | Zipper.Recursive.Internal, Zipper.Recursive |