‘: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 |