Traversable package:universe-reverse-instances

A Foldable instance for functions, given the input is Finite, and a Traversable instance for functions, given the input is Ord and Finite.