@hackage / zipper

Generic zipper for families of recursive datatypes