[haskell] Перебор значений для упорядоченных дискретных типов

Ведь на их основе легко реализуется range, и наоборот, first, last и range дают succ и pred.

Или эту семантику реализует другой класс?

И кстати, почему List.iterate не использует «конечный» генератор типа а -> Maybe a, как это определено для того же List.unfoldr?

Или эту семантику реализует другой класс?

Bounded

Непонятно, почему эти определения не включены в Ix?

Ord is not a superclass of Bounded since types that are not totally ordered may also have upper and lower bounds.

Это не совсем то. Bound, как я понял, дает только границы, а тут намного важнее определение succ и pred, которые не только дают полную упорядоченность (Ord), но и (Ix).

...но и дискретность (Ix).

По сути меня интересует возможность автоматического вывода Ix для перечислений и простых композиций, которая есть «из коробки». Получается, что succ и pred тоже можно выводить автоматически, например, в рамках того же Ix, но почему этого не делается?

Хех, а правильный ответ на вопрос — класс Enum :-).