Restructured zipper implementation.