- 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