module TcExpr where

tcCheckSigma :: 
	  HsExpr.LHsExpr Name.Name
       -> TcType.TcType
       -> TcRnTypes.TcM (HsExpr.LHsExpr Var.Id)

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

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