+import TyCon ( maybeTyConSingleCon, isEnumerationTyCon,
+ TyCon{-instance Eq-}
+ )
+import Type ( maybeAppDataTyConExpandingDicts, isPrimType )
+import TysWiredIn ( intTyCon, integerTyCon, doubleTyCon,
+ floatTyCon, wordTyCon, addrTyCon
+ )
+import Util ( isIn, isn'tIn, nOfThem, zipWithEqual,
+ pprTrace, panic, pprPanic, assertPanic
+ )
+
+returnsRealWorld = panic "SaAbsInt.returnsRealWorld (ToDo)"