\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}