Klassen-Hierarchien

Typklassen können 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

Ord ist Typklasse mit Typconstraint (Eq)

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

Jedes Ord-Wörterbuch hat ein Eq-Wörterbuch.