Zippers based on lenses and traversals