--- a/src/instance.rs	Tue Sep 02 12:37:53 2025 -0500
+++ b/src/instance.rs	Tue Sep 02 15:11:35 2025 -0500
@@ -155,7 +155,7 @@
     /// Type for a lightweight intermediate conversion that does not own the original variable.
     /// Usually this is just a reference, but may also be a lightweight structure that
     /// contains references; see the implementation for [`crate::direct_product::Pair`].
-    type Reference<'b>: Instance<X, Self> + Copy
+    type Reference<'b>: Instance<X, Self>
     where
         X: 'b;