diff --git a/lib/Quox/Syntax/DimEq.idr b/lib/Quox/Syntax/DimEq.idr
index c59f76f..6d9e444 100644
--- a/lib/Quox/Syntax/DimEq.idr
+++ b/lib/Quox/Syntax/DimEq.idr
@@ -70,7 +70,7 @@ infixl 5 :<?
 export %inline
 (:<?) : DimEq d -> Maybe (Dim d) -> DimEq (S d)
 ZeroIsOne :<? d = ZeroIsOne
-C eqs     :<? d = C $ eqs :< d
+C eqs     :<? d = C $ eqs :< map (get eqs) d
 
 
 private %inline