Thanks for reporting this @teo, looks pretty serious. It's rather curious given that in template-haskell-2.23Language.Haskell.TH.Syntax re-exports GHC.Internal.TH.Syntax, so it's curious that it's missing the Haddocks. Other modules that re-export from ghc-internal don't seem to suffer from the same issue, e.g. GHC.Base re-exports modules wholesale from ghc-internal in the same way, but no documentation seems to be missing.
Do you have any idea what might be going on @teo? Also pinging haddock experts: @Kleidukos@wz1000
I think there are two issues here. One is that we are reexposing modules, and this is confusing Haddock. This is going to be resolved by: !14008 (closed)
The other is that many of these modules are re-exporting identifiers without an export list. We still need to add export lists to these modules.
It turns out the the fix for this was just adding a ghc-internal dependency to template-haskell. For some reason without a direct dependency Haddock couldn't see the definitions. This is either a hadrian or haddock bug.