Type.Reflection

# The Typeable class

class Typeable a

typeRep

withTypeable

# Propositional equality

data a :~: b

data a :~~: b

# Type representations

## Type-Indexed

data TypeRep a

typeOf

typeRepFingerprint

typeRepTyCon

rnfTypeRep

eqTypeRep

typeRepKind

splitApps

## Quantified

data SomeTypeRep

someTypeRep

someTypeRepTyCon

someTypeRepFingerprint

rnfSomeTypeRep

# Type constructors

data TyCon

tyConPackage

tyConModule

tyConName

rnfTyCon

tyConFingerprint

# Module names

data Module

moduleName

modulePackage

rnfModule