Notify user to import * from Data.Kind with TypeInType on

With TypeInType asking for the kind of * gives the user a warning to import it

ghci> :set -XTypeInType 
ghci> :k *

<interactive>:1:1: error:
    Not in scope: type constructor or class ‘*’
    NB: With TypeInType, you must import * from Data.Kind

<interactive>:1:1: error:
    Illegal operator ‘*’ in type ‘*’
      Use TypeOperators to allow operators in types

<interactive>:1:1: error: Operator applied to too few arguments: *

Should a similar warning be issued when she asks for information on it

ghci> :i *
class Num a where
  ...
  (*) :: a -> a -> a
  ...
        -- Defined in ‘GHC.Num’
infixl 7 *

Trac metadata

Trac field	Value
Version	8.1
Type	FeatureRequest
TypeOfFailure	OtherFailure
Priority	lowest
Resolution	Unresolved
Component	GHCi
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture