Haskell Multiple Kontexte - currying?

Question

Wenn Kontexte auf eine Art Signatur zu schreiben, normalerweise würde ich

f :: (Enum a, Ord a) => a -> a 

aber durch schiere pures Glück etwas wie

tun fand ich, dass diese kompiliert und scheint identisch zu arbeiten, zumindest auf GHC 7.8:

f :: Enum a => Ord a => a -> a 

Was sind die theoretischen oder praktischen Unterschiede zwischen den beiden? Ist der zweite weniger orthodox? Die Haskell report scheint die zweite Form nicht zu erwähnen, und ich habe sie nie irgendwo benutzt gesehen. Related question.

Answer 1

Die beiden Versionen sind identisch. Constraints und forall -s werden an den Anfang des Bereichs ausgegeben, wenn sie nicht bereits vorhanden sind. Zum Beispiel sind die folgenden Definitionen gelten:

foo :: a -> a -> Num a => a 
foo = (+) 

bar :: a -> forall b. b -> a 
bar = const 

Aber :t foo druckt Num a => a -> a -> a und :t bar druckt a -> b -> a (die forall a b. a -> b -> a entspricht).

GHC unterstützt keine polymorphen Rückgabetypen. Daher werden die Constraints und die Quantifizierer ausgeflaggt. Ich denke, es könnte auch eine gültige Designwahl für GHC gewesen sein, um Fehler zu werfen.