diff -r fbdee8e4a78d -r f248f9848c87 src/discrete.rs --- a/src/discrete.rs Thu Dec 04 14:36:22 2025 -0500 +++ b/src/discrete.rs Fri Jan 16 14:09:45 2026 -0500 @@ -479,7 +479,7 @@ where Domain: Space, G::Codomain: Sum + Mul, - G: Mapping + Clone + ClosedSpace, + G: Mapping + ClosedSpace, for<'b> &'b Domain: Instance, { type Codomain = G::Codomain; @@ -494,7 +494,7 @@ where Domain: Space, G::Codomain: Sum + Mul, - G: Mapping + Clone + ClosedSpace, + G: Mapping + ClosedSpace, for<'b> &'b Domain: Instance, { }