\begin{code}
interface TyLoop where
-import PreludePS(_PackedString)
+--import PreludePS(_PackedString)
+import FastString (FastString)
import PreludeStdIO ( Maybe )
import Unique ( Unique )
-- Needed in TyCon
tupleCon :: Int -> Id
isNullaryDataCon :: Id -> Bool
-specMaybeTysSuffix :: [Maybe Type] -> _PackedString
+specMaybeTysSuffix :: [Maybe Type] -> FastString
idType :: Id -> Type
splitSigmaTy :: GenType t u -> ([t], [(Class,GenType t u)], GenType t u)
splitFunTy :: GenType t u -> ([GenType t u], GenType t u)