--- /dev/null
+\begin{code}
+module TcIface where
+import IfaceSyn ( IfaceDecl, IfaceInst, IfaceRule )
+import TypeRep ( TyThing )
+import TcRnTypes ( IfL )
+import InstEnv ( Instance )
+import CoreSyn ( CoreRule )
+
+tcIfaceDecl :: IfaceDecl -> IfL TyThing
+tcIfaceInst :: IfaceInst -> IfL Instance
+tcIfaceRule :: IfaceRule -> IfL CoreRule
+\end{code}
+