Given the modules module A(Type(..)) where data Type a = Constr { field :: a } module B where import A(field) Hugs says ERROR "B.hs" - Unknown entity "field" imported from module "A"