Data.Typeable.TH
makeTypeable
makeTypeableN
dropEnd
bestTypeable
typeableBody
typeRepOf
splitKind
params
typeOfKind
expectTyCon