import DsMonad
-import CoreUtils ( exprType, mkCoerce )
+import CoreUtils ( exprType )
import Id ( Id, mkWildId, idType )
import MkId ( mkFCallId, realWorldPrimId, mkPrimOpId )
import Maybes ( maybeToBool )
tcEqType, isBoolTy, isUnitTy,
Type
)
-import Type ( repType )
import PrimOp ( PrimOp(TouchOp) )
import TysPrim ( realWorldStatePrimTy,
byteArrayPrimTyCon, mutableByteArrayPrimTyCon,