TcExpr

tcPolyExpr

tcMonoExpr

tcMonoExprNC

tcInferSigma

tcInferSigmaNC

tcInferRho

tcInferRhoNC

tcSyntaxOp

tcSyntaxOpGen

data SyntaxOpType

synKnownType

tcCheckId

addExprErrCtxt

getFixedTyVars