TcSimplify
tcSimplifyInfer
tcSimplifyInferCheck
tcSimplifyCheck
tcSimplifyRestricted
tcSimplifyRuleLhs
tcSimplifyIPs
tcSimplifySuperClasses
tcSimplifyTop
tcSimplifyInteractive
tcSimplifyBracket
tcSimplifyCheckPat
tcSimplifyDeriv
tcSimplifyDefault
bindInstsOfLocalFuns
misMatchMsg