\begin{code}
module TcExpr where
import HsSyn	( HsExpr, LHsExpr )
import Name	( Name )
import Var	( Id )
import TcType	( TcType, Expected )
import TcRnTypes( TcM, InstOrigin )

tcCheckSigma :: 
	  LHsExpr Name
       -> TcType
       -> TcM (LHsExpr Id)

tcCheckRho :: 
  	  LHsExpr Name
       -> TcType
       -> TcM (LHsExpr Id)

tcInferRho :: 
  	  LHsExpr Name
       -> TcM (LHsExpr Id, TcType)

tcMonoExpr :: 
  	  LHsExpr Name
       -> Expected TcType
       -> TcM (LHsExpr Id)

tcSyntaxOp :: 
	  InstOrigin
       -> HsExpr Name
       -> TcType
       -> TcM (HsExpr Id)
\end{code}