TcExpr
tcPolyExpr
tcMonoExpr
tcMonoExprNC
tcInferSigma
tcInferSigmaNC
tcInferRho
tcInferRhoNC
tcSyntaxOp
tcSyntaxOpGen
data SyntaxOpType
synKnownType
tcCheckId
addExprErrCtxt
getFixedTyVars