TcTyClsDecls
tcTyAndClassDecls
tcFamInstDecl
mkAuxBinds