TcSimplify

simplifyInfer

simplifyDefault

simplifyDeriv

simplifyBracket

simplifyRule

simplifyTop

simplifyInteractive