TcBinds

tcLocalBinds

tcTopBinds

tcRecSelBinds

tcHsBootSigs

tcPolyCheck

tcVectDecls

addTypecheckedBinds

chooseInferredQuantifiers

badBootDeclErr