Haskell Несколько контекстов - каррирование?

Question

При написании контекстов на типе подписи, обычно я хотел бы сделать что-то вроде

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

Но через явное тупое везение я обнаружил, что это компилирует и, кажется, работает одинаково, по крайней мере, на GHC 7.8:

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

Каковы теоретические или практические различия между ними? Является ли второй менее ортодоксальным? Кажется, что Haskell report не упоминает о второй форме, и я никогда не видел, чтобы она использовалась где угодно. Related question.

Answer 1

Две версии одинаковы. Ограничения и forall -s выплывают в верхнюю часть области, когда они еще не установлены. Например, следующие определения справедливы:

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

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

:t foo Но отпечатки Num a => a -> a -> a и :t bar печатает a -> b -> a (что эквивалентно forall a b. a -> b -> a).

GHC не поддерживает полиморфные типы возврата, поэтому ограничения и кванторы выплывают. Я предполагаю, что это мог быть также правильный выбор дизайна для GHC для ошибок.