Cómo crear instancias de clase de tipo de un tipo promocionado?

Question

Tengo un tipo de datos que promociono a través de DataKinds en ghc 7.4.1 y una clase de tipo determinada que deseo usar para realizar operaciones específicas de tipo.

data Type = TInt32 | TInt64 | TInt16 
class TypeTraits a where 
    ... 

Y entonces trato de crear instancias de clase de tipos de los tipos promovidas así:

instance TypeTraits TInt32 where 
    ... 

recibo errores del tipo siguiente:

Kind mis-match 
The first argument of `TypeTraits' should have kind `*', 
but `TInt32' has kind `Type' 
In the instance declaration for `TypeTraits TInt32' 

tratar de solucionar este problema mediante la especificación el tipo de 'a':

class TypeTraits (a :: Type) where 
    ... 

Kind mis-match 
Expected kind `ArgKind', but `a' has kind `Type' 
In the type `a -> String' 
In the class declaration for `TypeTraits' 

Answer 1

El problema está en el cuerpo de la clase; los tipos que tienen un tipo elevado no tienen ningún valor, por lo que no puede tener una función que tome uno como parámetro. Deberá usar Proxy a -> String o similar.

Por cierto, si activa la extensión PolyKinds, entonces debería poder omitir la anotación tipo por completo. (De hecho, puede que tenga que hacer esto para definir su propio tipo Proxy, ya que creo que el de Data.Proxy podría ser * -> *, mientras que necesita Type -> *. Si define data Proxy p = Proxy con PolyKinds en adelante, se deducirá como AnyK -> *.)