TcSimplify
simplifyInfer
quantifyPred
growThetaTyVars
simplifyAmbiguityCheck
simplifyDefault
simplifyRule
simplifyTop
simplifyInteractive
solveWantedsTcM