-> BoxySigmaType
-> TcM (LHsExpr TcId)
-tcMonoExpr ::
+tcMonoExpr, tcMonoExprNC ::
LHsExpr Name
-> BoxyRhoType
-> TcM (LHsExpr TcId)
-tcInferRho ::
+tcInferRho, tcInferRhoNC ::
LHsExpr Name
-> TcM (LHsExpr TcId, TcRhoType)
-> HsExpr Name
-> TcType
-> TcM (HsExpr TcId)
+
\end{code}