--- /dev/null
+\begin{code}
+interface TyLoop_1_3 1
+__exports__
+Outputable Outputable (..)
+Type Type
+Type GenType
+Type splitSigmaTy (..)
+Type splitFunTy (..)
+Class Class
+Class GenClass
+Id StrictnessMark(..)
+Id Id
+Id GenId
+Id mkDataCon (..)
+Id mkTupleCon (..)
+Id idType (..)
+Id isNullaryDataCon (..)
+Id dataConArgTys (..)
+TysPrim voidTy (..)
+\end{code}