On Thu, Sep 12, 2002 at 06:51:29AM -0700, Sigbjorn Finne wrote: > Quite right - the export spec for that type should > now be honoured. There's something wrong with cumulative exports: module A(Type, Type(Constr)) where data Type = Constr module B where import A(Type(..)) f = Constr fails when it shouldn't, but is OK if .. is replaced by Constr.