Haddock always shows kind signatures for types re-exported from other packages

[gridaphobe]

If I run haddock on the following modules

module Foo where

data Foo = MkFoo

module Bar (Bar(..), Foo(..)) where

import Foo

data Bar = MkBar

the types are formatted as expected, without kind-signatures.

However, if I move Foo into a separate package it suddenly has a kind-signature in the Bar haddocks.

It would be nice if haddock would only display kind signatures when one of the type parameters has a non-* kind, otherwise it's just noise IMO.

[ezyang]

The reason for this problem is probably because Haddock is reverse engineering the source declaration from the recorded type in the GHC interface file, and then forgetting to suppress kinds (when you have it directly, it just uses the renamed source directly.)