Data.Typeable

# The Typeable class

class Typeable a

typeOf

typeRep

# Propositional equality

data a :~: b

data a :~~: b

# Type-safe cast

cast

eqT

gcast

# Generalized casts for higher-order kinds

gcast1

gcast2

# A canonical proxy type

data Proxy t

# Type representations

type TypeRep

rnfTypeRep

showsTypeRep

mkFunTy

# Observing type representations

funResultTy

splitTyConApp

typeRepArgs

typeRepTyCon

typeRepFingerprint

# Type constructors

data TyCon

tyConPackage

tyConModule

tyConName

rnfTyCon

tyConFingerprint

# For backwards compatibility

typeOf1

typeOf2

typeOf3

typeOf4

typeOf5

typeOf6

typeOf7

type Typeable1 a

type Typeable2 a

type Typeable3 a

type Typeable4 a

type Typeable5 a

type Typeable6 a

type Typeable7 a