Klassen-Hierarchien

Typklassen könne untereinander in Beziehung stehen.

Ord ist tatsächlich abgeleitet von Eq:

class Eq a where
   (==) :: a -> a -> Bool
class Eq a => Ord a where
   (<)  :: a -> a -> Bool

also muß man erst die Eq-Instanz deklarieren, dann die Ord-Instanz.