__interface TcExpr 1 0 where
__export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ;
1 tcCheckSigma :: 
	  RnHsSyn.RenamedHsExpr
       -> TcType.TcType
       -> TcRnTypes.TcM TcHsSyn.TcExpr ;
1 tcCheckRho :: 
	  RnHsSyn.RenamedHsExpr
       -> TcType.TcType
       -> TcRnTypes.TcM TcHsSyn.TcExpr ;
1 tcMonoExpr :: 
	  RnHsSyn.RenamedHsExpr
       -> TcUnify.Expected TcType.TcType
       -> TcRnTypes.TcM TcHsSyn.TcExpr ;