TcBinds
tcLocalBinds
tcTopBinds
tcRecSelBinds
tcHsBootSigs
tcPolyCheck
tcVectDecls
addTypecheckedBinds
chooseInferredQuantifiers
badBootDeclErr