diff --git a/lib/Quox/Syntax.idr b/lib/Quox/Syntax.idr
index 969661c..19bb4d0 100644
--- a/lib/Quox/Syntax.idr
+++ b/lib/Quox/Syntax.idr
@@ -6,4 +6,4 @@ import public Quox.Syntax.Qty
 import public Quox.Syntax.Shift
 import public Quox.Syntax.Subst
 import public Quox.Syntax.Term
-import public Quox.Syntax.Var
+import public Quox.Var
diff --git a/lib/Quox/Syntax/Dim.idr b/lib/Quox/Syntax/Dim.idr
index 363e082..2229b6d 100644
--- a/lib/Quox/Syntax/Dim.idr
+++ b/lib/Quox/Syntax/Dim.idr
@@ -2,7 +2,7 @@ module Quox.Syntax.Dim
 
 import Quox.Loc
 import Quox.Name
-import Quox.Syntax.Var
+import Quox.Var
 import Quox.Syntax.Subst
 import Quox.Pretty
 import Quox.Context
diff --git a/lib/Quox/Syntax/DimEq.idr b/lib/Quox/Syntax/DimEq.idr
index 0ef0ddd..4f9ba19 100644
--- a/lib/Quox/Syntax/DimEq.idr
+++ b/lib/Quox/Syntax/DimEq.idr
@@ -1,6 +1,6 @@
 module Quox.Syntax.DimEq
 
-import public Quox.Syntax.Var
+import public Quox.Var
 import public Quox.Syntax.Dim
 import public Quox.Syntax.Subst
 import public Quox.Context
diff --git a/lib/Quox/Syntax/Shift.idr b/lib/Quox/Syntax/Shift.idr
index 9e005b7..b7bdb66 100644
--- a/lib/Quox/Syntax/Shift.idr
+++ b/lib/Quox/Syntax/Shift.idr
@@ -1,6 +1,6 @@
 module Quox.Syntax.Shift
 
-import public Quox.Syntax.Var
+import public Quox.Var
 
 import Data.Nat
 import Data.So
diff --git a/lib/Quox/Syntax/Subst.idr b/lib/Quox/Syntax/Subst.idr
index e584d4b..d5c2ed8 100644
--- a/lib/Quox/Syntax/Subst.idr
+++ b/lib/Quox/Syntax/Subst.idr
@@ -1,7 +1,7 @@
 module Quox.Syntax.Subst
 
 import public Quox.Syntax.Shift
-import Quox.Syntax.Var
+import Quox.Var
 import Quox.Name
 
 import Data.Nat
diff --git a/lib/Quox/Syntax/Term/Base.idr b/lib/Quox/Syntax/Term/Base.idr
index 7778b9f..66794ef 100644
--- a/lib/Quox/Syntax/Term/Base.idr
+++ b/lib/Quox/Syntax/Term/Base.idr
@@ -1,6 +1,6 @@
 module Quox.Syntax.Term.Base
 
-import public Quox.Syntax.Var
+import public Quox.Var
 import public Quox.Syntax.Shift
 import public Quox.Syntax.Subst
 import public Quox.Syntax.Qty
diff --git a/lib/Quox/Syntax/Var.idr b/lib/Quox/Var.idr
similarity index 99%
rename from lib/Quox/Syntax/Var.idr
rename to lib/Quox/Var.idr
index f9a648e..ed52579 100644
--- a/lib/Quox/Syntax/Var.idr
+++ b/lib/Quox/Var.idr
@@ -1,4 +1,4 @@
-module Quox.Syntax.Var
+module Quox.Var
 
 import public Quox.Loc
 import public Quox.Name
diff --git a/lib/quox-lib.ipkg b/lib/quox-lib.ipkg
index 3a2e124..4572f4c 100644
--- a/lib/quox-lib.ipkg
+++ b/lib/quox-lib.ipkg
@@ -17,6 +17,7 @@ modules =
   Quox.Decidable,
   Quox.No,
   Quox.Loc,
+  Quox.Var,
   Quox.OPE,
   Quox.Pretty,
   Quox.Syntax,
@@ -31,7 +32,6 @@ modules =
   Quox.Syntax.Term.Tighten,
   Quox.Syntax.Term.Pretty,
   Quox.Syntax.Term.Subst,
-  Quox.Syntax.Var,
   Quox.FreeVars,
   Quox.Displace,
   Quox.Definition,