Add support for invisible binders in type declarations

Companion to ghc!9480 (merged)

Includes https://github.com/haskell/haddock/pull/1544 and https://github.com/haskell/haddock/pull/1545

changed the description

mentioned in merge request ghc!9480 (merged)

added 8 commits

• 4f66a44a...e16e20d5 - 5 commits from branch ghc-head
• a596867f - atSign has no unicode variant
• bdd68124 - LaTeX: fix printing of type variable bindings
• 333fc4d0 - Add support for invisible binders in type declarations

Compare with previous version

@int-index Could you rebase? Then we'll merge it.

The haddock submodule in GHC master points to e16e20d5 and this patch is rebased right onto that. Perhaps GHC master needs to be updated first to point to the current ghc-head?

It seems to me that the other patches were merged a bit prematurely to ghc-head, as the corresponding ghc patches haven't landed/aren't being landed right now. If anything I think your commits should be merged and the other patches should be rebased on top of it; otherwise we would have to wait for the other patches to land.

added 19 commits

• 333fc4d0...ed7bf957 - 16 commits from branch ghc-head
• 3b30d063 - atSign has no unicode variant
• fff82dfd - LaTeX: fix printing of type variable bindings
• 30cf8259 - Add support for invisible binders in type declarations

Compare with previous version

merged

I reverted the other changes and merged this patch now.