TcBinds
tcLocalBinds
tcTopBinds
tcRecSelBinds
tcValBinds
tcHsBootSigs
tcPolyCheck
tcSpecPrags
tcSpecWrapper
tcVectDecls
addTypecheckedBinds
data TcSigInfo
type TcSigFun
type TcPragEnv
mkPragEnv
tcUserTypeSig
instTcTySig
chooseInferredQuantifiers
instTcTySigFromId
tcExtendTyVarEnvFromSig
badBootDeclErr