hello, i was wondering if there was a reasong why "hiding imports" have different semantics from "importing imports" and "exports". what i mean is, if one writes: module A(T) where data T = T only the type constructor T is exported. simillarly if i write: module A where data T = T module B where import A(T) only the type constructor is imported, but if i write (module A as above) module B where import A hiding (T) both the type constructor and the value constructor are hidden. this seems not only irregular, but may also be inconvinient in practise as sometimes it happens that a type constructor and a data constructor have the same name, but the data constructor does not "belong" to the type constructor. for example: module A where type T = TGen Int data TGen a = T a | S module B where import A hiding (T) -- intending to just hide the type T genF = T -- error T not in scope! so if i wanted to ignore the type T, but still have the data constructor i have to explicitly import it, i.e. write: module B where import A hiding (T) import A (TGen(T)) which is kind of ugly. is this strange behaviour for historical reasons, or was there a practical reason why this decision was made? bye iavor