diff --git a/src/lib.rs b/src/lib.rs
index e33b3db..af59122 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -95,7 +95,7 @@ pub trait ConstraintSystem<E: Engine>: Sized {
 
     /// Represents the type of the "root" of this constraint system
     /// so that nested namespaces can minimize indirection.
-    type Root: ConstraintSystem<E>;
+    type Root: ConstraintSystem<E, Variable=Self::Variable>;
 
     /// Return the "one" input variable
     fn one(&self) -> Self::Variable;