A convenience module that imports the sibling modules Eq, Ord, Show, Read, and Traversable to provide instances of these classes for functions over finite inputs.