TcSimplify

simplifyInfer

simplifySuperClass

simplifyDefault

simplifyDeriv

simplifyBracket

simplifyRule

simplifyTop

simplifyInteractive