Add reverse for traversable functors