GHC 7.4.1の制約の種類構文は何ですか？

Question

私は簡単な例を記述しようとすると、

{-# LANGUAGE UndecidableInstances, 
      MultiParamTypeClasses, 
      KindSignatures, 
      Rank2Types, 
      ConstraintKinds, 
      FlexibleInstances, 
      OverlappingInstances, 
      TypeFamilies #-} 

type family A a :: Constraint 

エラーが

> ghci test.hs 
[1 of 1] Compiling Main    (test.hs, interpreted) 

test.hs:10:20: Not in scope: type constructor or class `Constraint' 
Failed, modules loaded: none. 

制約同義語が期待どおりに動作するように見える、である、Constraintがスコープ内にないことを示すエラーを取得しています

type ShowOrd a = (Ord a, Show a) 

ありがとうございます。

Answer 1

このエラーは、Constraintが範囲外であることに起因しているようです。 GHC.Primまたはfrom GHC.Extsからインポートします。

ConstraintKindsを有効にすると、自動的にスコープに反映されないようですが、これは7.3.2のスナップショットのビルドと同じですが、そこにはあります。