Typklassen

class Eq a where
  (==), (/=) :: a -> a -> Bool
  a == b = not (a /= b)
  a /= b = not (a == b)

• Ähnlich zu interface in Java.
• Definiert die Funktionen, die eine Instanz bereitstellen muss.