Haskell 什么'；GHC 7.4.1的约束类型语法是什么？

当我试着写一个简单的例子时，我得到一个错误，

Constraint

不在范围内

{-# 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.

约束同义词似乎按预期工作

type ShowOrd a = (Ord a, Show a)

---

提前感谢。

您的错误似乎是由

约束引起的，这并不奇怪，约束不在范围内。您需要从
GHC.Prim
或导入它

启用
ConstraintKinds
并没有自动将其纳入范围，这似乎有点奇怪，正如我在7.3.2快照构建中所做的那样，但现在你可以开始了。
是否有一个正式的地方来导入它，而不是从GHC.Prim导入它。一种可能允许它在支持这些扩展的其他编译器上工作的方法。