Qualified name required when defining type family instance in instance declaration

[rl]

With these two modules, GHC gives the following error:

Bar.hs:3:30: Not in scope: type constructor or class `T'

I have to use Foo.T in the instance definition. This is inconsistent with method definitions which must use unqualified names.

module Foo where
class C a where type T a

module Bar where
import qualified Foo
instance Foo.C Int where type T Int = Int

[morabbin]

Doesn't seem to happen any more:

Orac:~/work/tickets $ ghci T2435Foo.hs T2435Bar.hs 
...
[1 of 2] Compiling Foo              ( T2435Foo.hs, interpreted )
[2 of 2] Compiling Bar              ( T2435Bar.hs, interpreted )
Ok, modules loaded: Foo, Bar.

[morabbin]

Exhibits problems described in #2435, file one

[morabbin]

Exhibits problems described in #2435, file two

[simonmar]

Added as a test; thanks!