import CoreSyn
import CoreFVs ( mustHaveLocalBinding )
-import Var ( Var, varName, varType, setVarType, mkUVar )
+import Var ( Var, varType, setVarType, mkUVar )
import Id ( isExportedId )
import Name ( isLocallyDefined )
import TypeRep ( Type(..), TyNote(..) ) -- friend