TcSimplify
simplifyInfer
solveTopConstraints
growThetaTyVars
simplifyAmbiguityCheck
simplifyDefault
simplifyTop
simplifyInteractive
solveEqualities
simplifyWantedsTcM
tcCheckSatisfiability
solveWanteds
runTcSDeriveds