## Summary Consider this `import` declaration with a `hiding` clause: ```haskell {-# OPTIONS -Wdodgy-imports #-} module T25983 where import Prelude hiding (Bool(X)) ``` This import is considered "dodgy" because `Bool` exports no subordinate item called `X`. GHC <=9.6 accepts this program with a rather terse (but technically correct) warning: ``` T25983.hs:5:1: warning: [-Wdodgy-imports] Module ‘Prelude’ does not export ‘Bool(X)’ | 5 | import Prelude hiding (Bool(X)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ ``` GHC >=9.8 output more information, but in a certain way it's actually worse: ``` T25983.hs:5:24: warning: [GHC-56449] [-Wdodgy-imports] In the import of ‘Prelude’: an item called ‘Bool’ is exported, but it is a type. | 5 | import Prelude hiding (Bool(X)) | ^^^^^^^ ``` It is completely unhelpful to say "but it is a type": `Bool` is indeed a type, but this has nothing to do with the problem. Instead, the message should say that `Bool` exports no subordinate items (children) named `X`. ## Steps to reproduce ``` ghci> :set -Wdodgy-imports ghci> import Prelude hiding (Bool(X)) ``` ## Expected behavior The error message should talk about the subordinate item `X` specifically. ## Environment * GHC version used: 9.8.4, 9.10.1, 9.12.2, HEAD