TcSimplify
simplifyInfer
simplifyAmbiguityCheck
simplifyDefault
simplifyDeriv
simplifyRule
simplifyTop
simplifyInteractive