昇格型の型クラスインスタンスを作成するにはどうすればよいですか？

Question

私は、ghc 7.4.1のDataKindsと型固有の操作を行うために使用したい与えられたtypeclassを使って宣伝するデータ型を持っています。

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

そして、私はそうのような昇進種類の型クラスのインスタンスを作成しよう：

instance TypeTraits TInt32 where 
    ... 

私は次のタイプのエラーを取得：指定することで、この問題を解決しようとする

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

を「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

問題はクラスの本体にあります。持ち上げられた種類を持つ型には値がないため、パラメータとして受け取る関数を持つことはできません。 Proxy a -> Stringなどを使用する必要があります。

ところで、PolyKinds拡張機能を有効にすると、種類の注釈を完全に省略することができます。 （実際には、あなた自身がProxy型を定義するためにこれを行う必要があるかもしれません。なぜなら、Data33Proxyからのものは* -> *ですが、Type -> *が必要です。data Proxy p = ProxyをPolyKindsで定義すると、 AnyK -> *）