--- a/src/experiments.rs	Thu Jan 23 23:35:28 2025 +0100
+++ b/src/experiments.rs	Mon Jan 06 21:37:03 2025 -0500
@@ -102,7 +102,13 @@
 ];
 
 /// The $\{0,1\}$-valued characteristic function of a ball as a [`Mapping`].
-#[derive(Debug,Copy,Clone,Serialize,PartialEq)]
+#[derive(Debug,Copy,Clone,Serialize,Deserialize,PartialEq)]
+#[serde(bound(
+    serialize = "F : Serialize,
+                 Loc<F, N> : Serialize",
+    deserialize = "F : for<'a> Deserialize<'a>,
+                   Loc<F, N> : for<'a> Deserialize<'a>",
+))]
 struct BallCharacteristic<F : Float, const N : usize> {
     pub center : Loc<F, N>,
     pub radius : F,