DataKindを使用しているときにGHCIでタイプシグネチャを指定できません

Question

DataKindsを使用すると、ghciが多型戻り値の型をピン設定しようとすると面白いエラーが表示されます。私は次のコードを持っています：

{-# LANGUAGE DataKinds #-} 
{-# LANGUAGE KindSignatures #-} 
{-# LANGUAGE ExistentialQuantification #-} 
{-# LANGUAGE StandaloneDeriving #-} 

data DataKind 
    = KindA 
    | KindB 

data SomeData (a :: DataKind) = forall c. SomeData 
    { val :: Int 
    , sub :: Maybe (SomeData c) 
    } 

deriving instance Show (SomeData a) 

two :: SomeData 'KindA 
two = SomeData 2 Nothing 

このコードは期待通りにコンパイルされます。私はGHCiの中SomeDataを構築し、タイプを指定しない場合、それは正常に動作します：

> two 
SomeData {val = 2, sub = Nothing} 

> :t two 
two :: SomeData 'KindA 

> SomeData 2 Nothing 
SomeData 2 Nothing :: SomeData a 

をしかし、私は種類のそれの誤りを試してみて、指定した場合：

> SomeData 2 Nothing :: SomeData 'KindA 
<interactive>:745:32-37: error: 
• Data constructor ‘KindA’ cannot be used here 
    (Perhaps you intended to use DataKinds) 
• In the first argument of ‘SomeData’, namely ‘KindA’ 
    In an expression type signature: SomeData KindA 
    In the expression: SomeData 1 Nothing :: SomeData KindA 

引用がされていないことが表示されますghciによって解釈される。私はstack ghciを使ってreplを始めました。誰かがこれまでに遭遇したことはありますか？助けを前にありがとう。

Answer 1

SomeData 2 Nothing :: SomeData 'KindA初めての場合は:seti -XDataKindsとなります。私の考えは、コードファイルのプラグマはファイルのロード時に組み込まれていますが、REPLで評価されたものについては、GHCi内で明示的に有効にする必要があります。

GHCiでロードするファイルは、インポートされたモジュールに似ており、REPLのコードには独自の言語拡張があります。 GHCiで複数のファイルをロードする場合、ロードされたすべてのファイルのすべての言語拡張を有効/有効にする必要はありません。