TcSimplify

simplifyInfer

solveTopConstraints

growThetaTyVars

simplifyAmbiguityCheck

simplifyDefault

simplifyTop

simplifyInteractive

solveEqualities

simplifyWantedsTcM

tcCheckSatisfiability

solveWanteds

runTcSDeriveds