Namely, a ZipperPull Could be attached to give your data structure a list zipper interface.
This is especially useful when you want to add traversability onto your Model, because this package does not change any part of the manipulated type.
Living example is geven in Ellie