Binary search in zipper