GHC.Prim.Any replaces forall-bound type variables in GHCi

Load

see :: IO (a -> b)
see = return $ undefined

in GHCi

*Main> g <- see
*Main> :t g
g :: GHC.Prim.Any -> GHC.Prim.Any

Trac metadata

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