En GHCi, ¿por qué el tipo de la función arrow `: kind (->)` incluye signos de interrogación `(->) :: ?? ->? -> * `?

Question

Duplicar posible:
Haskell Weird Kinds: Kind of (->) is ?? -> ? -> *

En GHCi (versión 7.0.2), si pido el tipo del tipo de función, el resultado no tiene signos de interrogación:

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

¿Por qué el tipo incluye signos de interrogación en lugar de solo asteriscos * -> * -> *? ¿Qué significan los signos de interrogación? ¿Por qué otros tipos solo usan asteriscos?

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

Answer 1

Los ? y ?? tipos se refieren a las extensiones de GHC, específicamente los tipos sin embalaje. http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes tiene un diagrama que muestra las relaciones entre los tipos extendidos ? (todos los tipos posibles), # (tipos sin caja), ?? (tipos sin caja en caja o normales - "extremo superior de # y *"), (#) (tuplas sin caja, que sólo puede ser utilizado en un pequeño número de contextos). (El tipo estándar * se refiere a los tipos de cajas normales.)