Каков синтаксис типов ограничений для GHC 7.4.1?

Я получаю сообщение об ошибке Ограничение вне области действия, когда я пытаюсь написать простой пример,

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

Заранее спасибо.