Got the zipper working.
Update find.
Add BiTraversable instance.