Nächste Seite: Typklassen als Prädikate Aufwärts: Polymorphie/Typklassen Vorherige Seite: Überlappende Instanzen
mit ghc(i) -XTypeSynonymInstances (Kommandozeile)
oder {# language TypeSynonymInstances #-} (Quelltext, 1. Zeile)
sind instantiierte Typvariablen in Instanzen erlaubt.
mit -XOverlappingInstances gewinnt bei Überlappung
die speziellere Instanz.
hier: instance Show [Char]
gewinnt gegen instance Show [a].