import Id ( Id(..), GenId, mkPreludeId, mkTemplateLocals )
import Id ( Id(..), GenId, mkPreludeId, mkTemplateLocals )
import Literal ( mkMachInt )
import PrimOp ( PrimOp(..) )
import SpecEnv ( SpecEnv(..), nullSpecEnv )
import Literal ( mkMachInt )
import PrimOp ( PrimOp(..) )
import SpecEnv ( SpecEnv(..), nullSpecEnv )
-import TyVar ( alphaTyVar, betaTyVar, gammaTyVar )
+import TyVar ( openAlphaTyVar, alphaTyVar, betaTyVar, gammaTyVar )