Wörterbücher (II)

instance C Bar where m x y = ...

dict_C_Bar :: C Bar
dict_C_Bar = C { m = \ x y -> ... }

An der aufrufenden Stelle ist das Wörterbuch statisch bekannt (hängt nur vom Typ ab).

b :: Bar ; ... f b ...  
       ==> ... f dict_C_bar b ...