TcSimplify

simplifyInfer

quantifyPred

growThetaTyVars

simplifyAmbiguityCheck

simplifyDefault

simplifyRule

simplifyTop

simplifyInteractive

solveWantedsTcM