TcExpr

tcPolyExpr

tcPolyExprNC

tcMonoExpr

tcMonoExprNC

tcInferSigma

tcInferSigmaNC

tcInferRho

tcInferRhoNC

tcSyntaxOp

tcCheckId

addExprErrCtxt

getFixedTyVars