Перечисления в Haskell

Определение класса типов Enum:

class Enum a where
 -- функции движения по перечислительному типу
 succ, pred :: a -> a
 
 -- всем перечислениям может быть сопоставлен некоторый номер
 toEnum :: Int -> a
 fromEnum :: a -> Int

Итерирование по типу:

Prelude> succ 4
5
Prelude> pred 4
3
Prelude> pred 'c'
'b'
Prelude> succ 'z'
'{'
Prelude> fromEnum 'z'
122
Prelude> toEnum 122 :: Char
'z'