Data family constructor imports broken

The following does not compile, but according to http://www.haskell.org/haskellwiki/GHC/Type_families#Import_and_export it should.

A:

{-# LANGUAGE TypeFamilies #-}
module A where

data family F a
data instance F Int = FInt

B:

{-# LANGUAGE TypeFamilies #-}
module B where
import A

data instance F Bool = FBool

C:

{-# LANGUAGE TypeFamilies #-}
module C where

import B(F(FBool))  -- fails
import A(F(FInt))   -- succeeds

The error is:

C.hs:4:10: Module `B' does not export `F(FBool)'

Trac metadata

Trac field	Value
Version	7.0.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture