GADTヘッドのタイプ変数は意味がありますか？

Question

これらの2つのGADT宣言には違いがありますか？

data A a b where 
    ... 

data A :: * -> * -> * where 
    ... 

Answer 1

違いはありません。一つは、ヘッダーに型変数に言及せずのように、コンストラクタのシグネチャに彼らのために別の名前を使用するために必要なことだと思うかもしれません：the GHC Users Guideが言うように...、しかし

data A :: * -> * -> * where 
    AN :: Num x => x -> b -> A x b 
    AS :: IsString s => s -> b -> A s b 

Haskell-98スタイルのデータ型宣言とは異なり、data Set a whereヘッダーの型変数にはスコープがありません。

...ので、これも動作します：

data A a b where 
    AN :: Num x => x -> b -> A x b 
    AS :: IsString s => s -> b -> A s b