\begin{code}
interface RnLoop where
-import RdrHsSyn ( RdrNameHsBinds(..), RdrNamePolyType(..) )
-import RnHsSyn ( RnName, RenamedHsBinds(..), RenamedPolyType(..) )
-import RnBinds ( rnBinds, FreeVars(..) )
-import RnMonad ( TyVarNamesEnv(..), RnM_Fixes(..) )
-import RnSource ( rnPolyType )
+import RdrHsSyn ( RdrNameHsBinds(..), RdrNameHsType(..) )
+import RnHsSyn ( RenamedHsBinds(..), RenamedHsType(..) )
+import RnBinds ( rnBinds )
+import RnMonad ( RnMS(..), FreeVars )
+import RnSource ( rnHsType )
import UniqSet ( UniqSet(..) )
+import Name ( Name )
-rnBinds :: RdrNameHsBinds -> RnM_Fixes s (RenamedHsBinds, FreeVars, [RnName])
-rnPolyType :: TyVarNamesEnv
- -> RdrNamePolyType
- -> RnM_Fixes s RenamedPolyType
-type FreeVars = UniqSet RnName
+rnBinds :: RdrNameHsBinds
+ -> (RenamedHsBinds -> RnMS s (result, FreeVars))
+ -> RnMS s (result, FreeVars)
+
+rnHsType :: RdrNameHsType
+ -> RnMS s RenamedHsType
\end{code}