Break the loop between Match and DsUtils and the loops
between DsExpr/DsBinds and various things.

\begin{code}
interface DsLoop where

import CoreSyn	( CoreBinding(..), CoreExpr(..) )
import DsMonad	( DsM(..), DsMatchKind(..) )
import DsBinds	( dsBinds )
import DsExpr	( dsExpr )
import DsUtils	( EquationInfo, MatchResult )
import FastString ( FastString )
import Id	( Id(..) )
import Match	( matchExport, match, matchSimply )
import PreludeStdIO ( Maybe )
import TcHsSyn	( TypecheckedHsBinds(..), TypecheckedHsExpr(..), TypecheckedPat(..) )
import Type	( Type(..) )
match :: [Id]		  -- Variables rep'ing the exprs we're matching with
      -> [EquationInfo]	  -- Info about patterns, etc. (type synonym below)
      -> DsM MatchResult  -- Desugared result!
matchExport :: [Id]	-- Variables rep'ing	 the exprs we're matching with
      -> [EquationInfo]	  -- Info about patterns, etc. (type synonym below)
      -> DsM MatchResult  -- Desugared result!

matchSimply :: CoreExpr			-- Scrutinee
            -> DsMatchKind              -- Type of Match
	    -> TypecheckedPat		-- Pattern it should match
	    -> Type			-- Type of result
	    -> CoreExpr			-- Return this if it matches
	    -> CoreExpr			-- Return this if it does
	    -> DsM CoreExpr

dsBinds :: Bool -> TypecheckedHsBinds -> DsM [CoreBinding]
dsExpr  :: TypecheckedHsExpr  -> DsM CoreExpr
\end{code}