私は GHC の内部に精通していませんが、ConstraintKinds についていくつか質問があります。
そこから言ってGHC.Extsいる
data Constraint :: BOX
Constraint一種の一種であるため、誤解を招く可能性がありますBOX。これは最初の質問につながります: 種類をインポートおよびエクスポートできますか? それはどのように機能しますか？
私が完全にオフになっている場合は、この次の部分で私を修正してください. さまざまなインポートを試し、ハックのソースをちらりと見てみると、私の推測では、GHC.Extsインポート元ConstraintはGHC.Baseであり、次に、インポート元はGHC.Primです。しかし、それが定義されている場所がわかりませんGHC.Primか？