3 import HsSyn ( HsExpr, LHsExpr )
5 import TcType ( TcType, TcRhoType, TcSigmaType )
6 import TcRnTypes( TcM, TcId, CtOrigin )
13 tcMonoExpr, tcMonoExprNC ::
18 tcInferRho, tcInferRhoNC ::
20 -> TcM (LHsExpr TcId, TcRhoType)
22 tcSyntaxOp :: CtOrigin
27 tcCheckId :: Name -> TcRhoType -> TcM (HsExpr TcId)