[Haskell-cafe] explicit annotations on kind polymorphism for data types

[dude]

Hello All:

I'm working through Giving Haskell a Promotion.

Section 2.4 presents an explicitly annotated data type declaration 
similar to the following:

data EqRefl (a::X)(b::X) where
   Refl :: forall X. forall (a::X). EqRefl a a

Has this been implemented in GHC 7.4.2?

7.8.3 in the GHC User Guide leads me to believe it has not.

--
dude