Haddock's support for VDQ looks incomplete

Summary

If you generate a haddock for the following code:

test1
  :: forall a
  -- ^ A
  -> b
  -- ^ B
  -> c
  -- ^ C
test1 _ _ = undefined

test2
  :: a
  -- ^ A
  -> forall b
  -- ^ B
  -> c
  -- ^ C
test2 _ _ = undefined

test3
  :: a
  -- ^ A
  -> Monad m
  => forall b
  -- ^ B
  -> m c
  -- ^ C
test3 _ = undefined

You'll get this:

As you can see, type arguments are not in separate lines and their description is ignored.

Expected behavior

Treat type arguments the same way as term arguments.

Environment

• GHC version used: 9.11.20240719 (same behavior with 9.10.1).