In this case it's a Zipper for a list. You can write zippers for other data structures as well (and in fact you can mechanically derive them, even).