[shakadak]

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.