--- 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<F, Output = G::Codomain>, - G: Mapping<Domain, Codomain = F> + Clone + ClosedSpace, + G: Mapping<Domain, Codomain = F> + ClosedSpace, for<'b> &'b Domain: Instance<Domain>, { type Codomain = G::Codomain; @@ -494,7 +494,7 @@ where Domain: Space, G::Codomain: Sum + Mul<F, Output = G::Codomain>, - G: Mapping<Domain, Codomain = F> + Clone + ClosedSpace, + G: Mapping<Domain, Codomain = F> + ClosedSpace, for<'b> &'b Domain: Instance<Domain>, { }