TcSimplify
simplifyInfer
quantifyPred
simplifyAmbiguityCheck
simplifyDefault
simplifyRule
simplifyTop
simplifyInteractive
solveWantedsTcM