class Bounded a where
  minBound :: a
  maxBound :: a

Enum