\begin{code} module CoreSyn where -- Needed by Var.lhs --data Expr b --type CoreExpr = Expr Var.Var import Name ( Name ) -- Needed by Id data CoreRule setRuleIdName :: Name -> CoreRule -> CoreRule seqRules :: [CoreRule] -> () data Unfolding noUnfolding :: Unfolding \end{code}