This succeeds, but shouldn't: module A(T) where data T = Foo module B where import A(T(..)) f = Foo _______________________________________________ Cvs-hugs mailing list Cvs-hugs@haskell.org http://www.haskell.org/mailman/listinfo/cvs-hugs