-__interface Var 1 0 where
-__export Var Var TyVar Id setIdName ;
--- Used by Name
-1 type Id = Var;
-1 type TyVar = Var;
-1 data Var ;
-1 setIdName :: Id -> Name.Name -> Id ;
+module Var where
+-- Used by Name
+type Id = Var
+type TyVar = Var
+data Var
+setIdName :: Id -> Name.Name -> Id