Uniplate-style generic traversals for fixed-point types, which can be
optionally annotated with attributes. We also provide recursion schemes,
and a generic zipper. See the module Data.Generics.Fixplate and then
the individual modules for more detailed information.