diff -r 495448cca603 -r 6aa955ad8122 src/linops.rs
--- a/src/linops.rs	Thu May 01 08:40:33 2025 -0500
+++ b/src/linops.rs	Thu May 01 13:06:58 2025 -0500
@@ -77,7 +77,7 @@
 pub trait BoundedLinear<X, XExp, CodExp, F = f64>: Linear<X>
 where
     F: Num,
-    X: Space + Norm<F, XExp>,
+    X: Space + Norm<XExp, F>,
     XExp: NormExponent,
     CodExp: NormExponent,
 {
@@ -182,7 +182,7 @@
 
 impl<F, X, E> BoundedLinear<X, E, E, F> for IdOp<X>
 where
-    X: Space + Clone + Norm<F, E>,
+    X: Space + Clone + Norm<E, F>,
     F: Num,
     E: NormExponent,
 {
@@ -264,8 +264,8 @@
 
 impl<'a, F, X, XD, Y, E1, E2> BoundedLinear<X, E1, E2, F> for ZeroOp<'a, X, XD, Y, F>
 where
-    X: Space + Norm<F, E1>,
-    Y: AXPY<F> + Clone + Norm<F, E2>,
+    X: Space + Norm<E1, F>,
+    Y: AXPY<F> + Clone + Norm<E2, F>,
     F: Num,
     E1: NormExponent,
     E2: NormExponent,
@@ -346,8 +346,8 @@
 impl<F, S, T, X, Z, Xexp, Yexp, Zexp> BoundedLinear<X, Xexp, Yexp, F> for Composition<S, T, Zexp>
 where
     F: Num,
-    X: Space + Norm<F, Xexp>,
-    Z: Space + Norm<F, Zexp>,
+    X: Space + Norm<Xexp, F>,
+    Z: Space + Norm<Zexp, F>,
     Xexp: NormExponent,
     Yexp: NormExponent,
     Zexp: NormExponent,
@@ -680,8 +680,8 @@
             BoundedLinear<Pair<A, B>, PairNorm<ExpA, ExpB, $expj>, ExpR, F> for RowOp<S, T>
         where
             F: Float,
-            A: Space + Norm<F, ExpA>,
-            B: Space + Norm<F, ExpB>,
+            A: Space + Norm<ExpA, F>,
+            B: Space + Norm<ExpB, F>,
             S: BoundedLinear<A, ExpA, ExpR, F>,
             T: BoundedLinear<B, ExpB, ExpR, F>,
             S::Codomain: Add<T::Codomain>,
@@ -707,7 +707,7 @@
             for ColOp<S, T>
         where
             F: Float,
-            A: Space + Norm<F, ExpA>,
+            A: Space + Norm<ExpA, F>,
             S: BoundedLinear<A, ExpA, ExpS, F>,
             T: BoundedLinear<A, ExpA, ExpT, F>,
             ExpA: NormExponent,