diff --git a/src/Quox/Syntax/Var.idr b/src/Quox/Syntax/Var.idr
index 8513fd2..d555b35 100644
--- a/src/Quox/Syntax/Var.idr
+++ b/src/Quox/Syntax/Var.idr
@@ -23,12 +23,12 @@ public export
 (VS i).nat = S i.nat
 %transform "Var.(.nat)" Var.(.nat) i = believe_me i
 
-public export Cast (Var n) Nat     where cast = (.nat)
-public export Cast (Var n) Integer where cast = cast . cast {to = Nat}
+public export %inline Cast (Var n) Nat     where cast = (.nat)
+public export %inline Cast (Var n) Integer where cast = cast . cast {to = Nat}
 
-export Eq   (Var n) where i == j = i.nat == j.nat
-export Ord  (Var n) where compare i j = compare i.nat j.nat
-export Show (Var n) where showPrec d i = showCon d "V" $ showArg i.nat
+export %inline Eq   (Var n) where i == j = i.nat == j.nat
+export %inline Ord  (Var n) where compare i j = compare i.nat j.nat
+export %inline Show (Var n) where showPrec d i = showCon d "V" $ showArg i.nat
 
 
 parameters {auto _ : Pretty.HasEnv m}