TcExpr
tcPolyExpr
tcPolyExprNC
tcMonoExpr
tcInferRho
tcInferRhoNC
tcSyntaxOp