generic-lexicographic-order

Derive Bounded and Enum for sum types and Enum for product types.

Derive generic instances of Bounded and/or Enum for sums, and Enum instances for products, based on the instances of their components. These instances are designed to cohere with the stock-derived Ord instance.