[Char]
Char
Int
Word
Double
IO ()
(Char,Int,[Char])
SomeTypeRep
Bool
Ordering
Int -> Int
Proxy (CONSTRAINT ('BoxedRep 'Lifted)) (Eq Int)
Proxy * (Int,Int)
Proxy Symbol "hello world"
Proxy Natural 1
Proxy [Natural] (': Natural 1 (': Natural 2 (': Natural 3 ('[] Natural))))
Proxy Ordering 'EQ
Proxy (RuntimeRep -> *) TYPE
Proxy * *
Proxy * *
Proxy * *
Proxy RuntimeRep ('BoxedRep 'Lifted)
Proxy Levity 'Lifted
Proxy Levity 'Unlifted
Proxy RuntimeRep ('BoxedRep 'Lifted)
Proxy (Natural,Symbol) ('(,) Natural Symbol 1 "hello")
Proxy (* -> * -> CONSTRAINT ('BoxedRep 'Lifted)) ((~~) * *)