TcSimplify
simplifyInfer
simplifySuperClass
simplifyDefault
simplifyDeriv
simplifyBracket
simplifyRule
simplifyTop
simplifyInteractive