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