Haddock doesn't show `type instance`s as orphans

[silky]

It would be really nice if, when I have orphan type instance ... statements, they would show up in the documentation of the file where I'm defining them.

Compare:

-- A.hs
{-# language TypeFamilies #-}

module A where

-- | Some witty observations about the type family.
type family B a :: *

-- | Some insightful observations about this bool instance.
type instance B Bool = Int

vs.

--- A.hs
{-# language TypeFamilies #-}

module A where

import B

-- | Some insightful observations about this bool instance.
type instance B Bool = Int

-- B.hs
{-# language TypeFamilies #-}

module B where

-- | Some witty observations about the type family.
type family B a :: *

Now:

:(

I'd love to see the instance for 'B' defined in the 'A' module. Is there a way to achieve this?