W GHCi, dlaczego rodzaj strzałki funkcji `: kind (->)` zawiera znaki zapytania `(->) :: ?? ->? -> * `?

Question

Powiel możliwe:
Haskell Weird Kinds: Kind of (->) is ?? -> ? -> *

W GHCi (wersja 7.0.2), jeśli mogę prosić o rodzaju rodzaju funkcji, wynik ma śladów pytanie:

Prelude> :kind (->) 
(->) :: ?? -> ? -> * 

Dlaczego niby zawierać znaki zapytania zamiast tylko gwiazdkami * -> * -> *? Co oznaczają znaki zapytania? Dlaczego inne typy po prostu używają gwiazdek?

Prelude> :kind (,) 
(,) :: * -> * -> * 

Answer 1

W ? i ?? rodzaje odnoszą się do rozszerzeń GHC, szczególnie odpakowanych typów. http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes ma wykres pokazujący relacje pomiędzy ich rodzaju ? (wszystkie możliwe rodzaje), # (bez opakowania rodzaju) ?? (w ramce lub zwykłe Rozpakowanych typów - „przynajmniej górna granica # i *”) (#) (bez opakowania krotki, które mogą tylko być używane w niewielkiej liczbie kontekstów). (Typ standardowy: * odnosi się do normalnych typów pudełkowych.)