+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcCheckRho ::
+ HsExpr.LHsExpr Name.Name
+ -> TcType.TcType
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)
+
+tcInferRho ::
+ HsExpr.LHsExpr Name.Name
+ -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id, TcType.TcType)