TcBinds

tcLocalBinds

tcTopBinds

tcRecSelBinds

tcValBinds

tcHsBootSigs

tcPolyCheck

tcSpecPrags

tcSpecWrapper

tcVectDecls

addTypecheckedBinds

data TcSigInfo

type TcSigFun

type TcPragEnv

mkPragEnv

tcUserTypeSig

instTcTySig

chooseInferredQuantifiers

instTcTySigFromId

tcExtendTyVarEnvFromSig

badBootDeclErr