[Haskell] instance C (a -> a)

[Wolfgang Jeltsch]

Lieber Herr Bachmann,

instance-Deklarationen der Form

	instance C (a -> a)

sind tatsächlich nicht konform zum Haskell-98-Standard, ebensowenig

	instance C (a,a)

und dergleichen, was heißt, dass diese Einschränkung nichts mit dem 
Funktionstyp zu tun hat. Generell darf ein und dieselbe Typvariable nicht 
mehrfach im Kopf der instance-Deklaration vorkommen.

Allerdings erlaubt Hugs98, wie ich vermutet hatte, derartige Konstruktionen, 
wenn man die Haskell-98-Kompatibilität ausschaltet (Kommandozeilen-Parameter 
-98). Auch der Glasgow Haskell Compiler unterstützt solche Sachen.

Viele Grüße
Wolfgang Jeltsch