Typklassen (Definition, Verwendung)

• jede Typklasse definiert einen Wörterbuchtyp

  class Num a where plus :: a -> a -> a ; ...
  

• Instanzen definieren Wörterbücher

  instance Num Int where plus = ...
  

• Wörterbücher werden implizit übergeben
• Benutzung von Wörterbüchern steht explizit als Constraint (Einschränkung) im Typ

  skal :: Num a => [a] -> [a] -> a
  skal xs ys = ...
  

Durch Typklassen erhält man eingeschränkt polymorphe Funktionen.