diff -r 495448cca603 -r 6aa955ad8122 src/convex.rs
--- a/src/convex.rs	Thu May 01 08:40:33 2025 -0500
+++ b/src/convex.rs	Thu May 01 13:06:58 2025 -0500
@@ -98,7 +98,7 @@
 
 impl<F, E, Domain> Mapping<Domain> for NormConstraint<F, E>
 where
-    Domain: Space + Norm<F, E>,
+    Domain: Space + Norm<E, F>,
     F: Float,
     E: NormExponent,
 {
@@ -126,8 +126,8 @@
 where
     E: HasDualExponent,
     F: Float,
-    Domain: HasDual<F> + Norm<F, E> + Normed<F>,
-    <Domain as HasDual<F>>::DualSpace: Norm<F, E::DualExp>,
+    Domain: HasDual<F> + Norm<E, F> + Normed<F>,
+    <Domain as HasDual<F>>::DualSpace: Norm<E::DualExp, F>,
 {
     type Conjugate<'a>
         = NormConstraint<F, E::DualExp>
@@ -147,8 +147,8 @@
     C: Constant<Type = F>,
     E: HasDualExponent,
     F: Float,
-    Domain: HasDual<F> + Norm<F, E> + Space,
-    <Domain as HasDual<F>>::DualSpace: Norm<F, E::DualExp>,
+    Domain: HasDual<F> + Norm<E, F> + Space,
+    <Domain as HasDual<F>>::DualSpace: Norm<E::DualExp, F>,
 {
     type Conjugate<'a>
         = NormConstraint<F, E::DualExp>
@@ -165,7 +165,7 @@
 
 impl<Domain, E, F> Prox<Domain> for NormConstraint<F, E>
 where
-    Domain: Space + Norm<F, E>,
+    Domain: Space + Norm<E, F>,
     E: NormExponent,
     F: Float,
     NormProjection<F, E>: Mapping<Domain, Codomain = Domain>,