TcSimplify
simplifyInfer
data InferMode
growThetaTyVars
simplifyAmbiguityCheck
simplifyDefault
simplifyTop
simplifyTopImplic
captureTopConstraints
simplifyInteractive
solveEqualities
simplifyWantedsTcM
tcCheckSatisfiability
solveWanteds
solveWantedsAndDrop
approximateWC
runTcSDeriveds