This is a collection of utilities for doing interesting things with invariant functors. You probably want the library itself, in the invariant-extras directory.