TcSimplify

simplifyInfer

data InferMode

growThetaTyVars

simplifyAmbiguityCheck

simplifyDefault

simplifyTop

simplifyTopImplic

captureTopConstraints

simplifyInteractive

solveEqualities

simplifyWantedsTcM

tcCheckSatisfiability

solveWanteds

solveWantedsAndDrop

approximateWC

runTcSDeriveds