reverse xs returns the elements of xs in reverse order. xs must be finite.

Making functors whose elements are notionally in the reverse order from the original functor.

The same functor, but with Foldable and Traversable instances that process the elements in the reverse order.