__interface TcExpr 1 0 where
__export TcExpr tcCheckSigma tcCheckRho tcMonoExpr ;
1 tcCheckSigma :: 
	  HsExpr.LHsExpr Name.Name
       -> TcType.TcType
       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;

1 tcCheckRho :: 
  	  HsExpr.LHsExpr Name.Name
       -> TcType.TcType
       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;

1 tcMonoExpr :: 
  	  HsExpr.LHsExpr Name.Name
       -> TcUnify.Expected TcType.TcType
       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id) ;