Yes, although it's usually defined as: { slides_shown: List<Slide>, slides_left: List<Slide> } Where the head of slides_left is the curren

Yes, although it's usually defined as: { slides_shown: List<Slide>, slides_left: List<Slide> } Where the head of slides_left is the current slide. Pretty much any recursive data structure can be derived into a zipper.