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