Original-Via: uk.ac.nsf; Thu, 3 Oct 91 04:59:15 BST If I have an interface interface A where data T = X | Y and then do the following module B where import A hiding(T) ... Does that mean that only the type is hidden, but not the constructors (X, Y)? Or is it the same as module B where import A hinding(T(..)) ... If so, why is both allowed? BTW. hinding is missing in the index. -- Lennart PS. I'm disliking the complexity of the Haskell module system more every minute.