‘:info TYPE’ mentions any instance that includes ‘Type’

Unexpected behaviour

$ ghci -ignore-dot-ghci
GHCi, version 8.0.1: http://www.haskell.org/ghc/  :? for help
Prelude> import GHC.Types
Prelude GHC.Types> :i TYPE
type role TYPE nominal
data TYPE (t1 :: RuntimeRep)
        -- Defined in ‘GHC.Prim’

Importing Data.Proxy gives me some of its instances,

Prelude GHC.Types> import Data.Proxy
Prelude GHC.Types Data.Proxy> :i TYPE
type role TYPE nominal
data TYPE (t1 :: RuntimeRep)
        -- Defined in ‘GHC.Prim’
instance Monad Proxy -- Defined in ‘Data.Proxy’
instance Functor Proxy -- Defined in ‘Data.Proxy’
instance Applicative Proxy -- Defined in ‘Data.Proxy’
instance Foldable Proxy -- Defined in ‘Data.Foldable’
instance Traversable Proxy -- Defined in ‘Data.Traversable’
Prelude GHC.Types Data.Proxy> 

because they mention *

Prelude GHC.Types Data.Proxy> :set -fprint-explicit-kinds
Prelude GHC.Types Data.Proxy> :i TYPE
type role TYPE nominal
data TYPE (t1 :: RuntimeRep)
        -- Defined in ‘GHC.Prim’
instance Monad (Proxy *) -- Defined in ‘Data.Proxy’
instance Functor (Proxy *) -- Defined in ‘Data.Proxy’
instance Applicative (Proxy *) -- Defined in ‘Data.Proxy’
instance Foldable (Proxy *) -- Defined in ‘Data.Foldable’
instance Traversable (Proxy *) -- Defined in ‘Data.Traversable’

Trac metadata

Trac field	Value
Version	8.0.1
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture