A collection of polyfunctor instances