TcExpr
tcPolyExpr
tcPolyExprNC
tcMonoExpr
tcMonoExprNC
tcInferSigma
tcInferSigmaNC
tcInferRho
tcInferRhoNC
tcSyntaxOp
tcCheckId
addExprErrCtxt
getFixedTyVars