Generische Instanzen (I)

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

Lexikografische Ordnung auf Listen:

wenn a in Eq, dann [a] in Eq:

instance Eq a => Eq [a] where
    []       == []        
        =  True
    (x : xs) == (y : ys)  
        =  (x == y) && ( xs == ys )
    _        == _         
        =  False