diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -8,6 +8,9 @@
 
 # Changelog
 
+* 2.1.0.0
+  - Removed profunctor variable @w@ from the constraint synonyms for Projected/Injected.
+
 * 2.0.0.1
   - Forgot to expose constraint synonyms for Projected/Injected.
 
diff --git a/data-diverse-lens.cabal b/data-diverse-lens.cabal
--- a/data-diverse-lens.cabal
+++ b/data-diverse-lens.cabal
@@ -1,5 +1,5 @@
 name:                data-diverse-lens
-version:             2.0.0.1
+version:             2.1.0.0
 synopsis:            Isos & Lens for Data.Diverse.Many and Prisms for Data.Diverse.Which
 description:         Isos & Lens for Data.Diverse.Many and Prisms for Data.Diverse.Which
                      Refer to [ManySpec.hs](https://github.com/louispan/data-diverse-lens/blob/master/test/Data/Diverse/Lens/ManySpec.hs) and [WhichSpec.hs](https://github.com/louispan/data-diverse-lens/blob/master/test/Data/Diverse/Lens/WhichSpec.hs) for example usages.
diff --git a/src/Data/Diverse/Profunctor/Many.hs b/src/Data/Diverse/Profunctor/Many.hs
--- a/src/Data/Diverse/Profunctor/Many.hs
+++ b/src/Data/Diverse/Profunctor/Many.hs
@@ -31,16 +31,18 @@
 import Data.Profunctor
 
 -- | A friendlier constraint synonym for 'itemized'.
-type Itemized w a b s t =
-    ( Profunctor w
-    , Strong w
-    , HasItem a b s t
+type Itemized a b s t =
+    ( HasItem a b s t
     , HasItem' a s
     )
 
 -- | Like 'Strong' or 'Arrow' but lifting into 'Many'
-itemized
-    :: forall w a b s t. (Itemized w a b s t)
+itemized ::
+    forall w a b s t.
+    ( Profunctor w
+    , Strong w
+    , Itemized a b s t
+    )
     => w a b -> w s t
 itemized w = dimap (\c -> (view item' c, c)) (\(b, c) -> set (item @a) b c) (first' w)
 
@@ -49,26 +51,24 @@
 itemized' w = dimap fetch single w
 
 -- | A friendlier constraint synonym for 'projected'.
-type Projected w a1 a2 b1 b2 =
-    ( Profunctor w
-    , Strong w
-    , Select a1 a2
+type Projected a1 a2 b1 b2 =
+    ( Select a1 a2
     , Amend a1 b1 a2
     , b2 ~ Replaces a1 b1 a2
     )
 
 -- | Like 'Strong' or 'Arrow' but lifting from a 'Many' to a 'Many' of another type
-projected
-    :: forall proxy w a1 a2 b1 b2. (Projected w a1 a2 b1 b2)
+projected :: forall proxy w a1 a2 b1 b2.
+    ( Profunctor w
+    , Strong w
+    , Projected a1 a2 b1 b2
+    )
     => proxy a2 -> w (Many a1) (Many b1) -> w (Many a2) (Many b2)
 projected _ w = dimap (\c -> (select c, c)) (\(b, c) -> amend @a1 c b) (first' w)
 
 -- | A friendlier constraint synonym for '*&&*'.
-type SelectWith w a1 a2 a3 b1 b2 b3 =
-    ( C.Category w
-    , Profunctor w
-    , Strong w
-    , Select a1 (AppendUnique a1 a2)
+type SelectWith a1 a2 a3 b1 b2 b3 =
+    ( Select a1 (AppendUnique a1 a2)
     , Select a2 (AppendUnique a1 a2)
     , a3 ~ AppendUnique a1 a2
     , b3 ~ Append b1 b2
@@ -80,7 +80,12 @@
 -- Analogous to a 'Many' combination of both of 'Control.Arrow.***' and 'Control.Arrow.&&&'.
 -- It is a compile error if the types are not distinct in each of the argument arrow inputs.
 (*&&*)
-    :: forall w a1 a2 a3 b1 b2 b3. (SelectWith w a1 a2 a3 b1 b2 b3)
+    :: forall w a1 a2 a3 b1 b2 b3.
+    ( C.Category w
+    , Profunctor w
+    , Strong w
+    , SelectWith a1 a2 a3 b1 b2 b3
+    )
     => w (Many a1) (Many b1)
     -> w (Many a2) (Many b2)
     -> w (Many a3) (Many b3)
@@ -88,11 +93,8 @@
 infixr 3 *&&* -- like ***
 
 -- | A friendlier constraint synonym for '>&&>'.
-type ThenSelect w a2 b1 b2 b3 =
-    ( C.Category w
-    , Profunctor w
-    , Strong w
-    , Select (Complement b1 a2) b1
+type ThenSelect a2 b1 b2 b3 =
+    ( Select (Complement b1 a2) b1
     , Select a2 b1
     , b3 ~ Append (Complement b1 a2) b2
     )
@@ -103,7 +105,11 @@
 -- or if the input of the second arrow is not a subset of the output of the first arrow.
 (>&&>)
     :: forall w a a2 b1 b2 b3.
-       (ThenSelect w a2 b1 b2 b3)
+    ( C.Category w
+    , Profunctor w
+    , Strong w
+    , ThenSelect a2 b1 b2 b3
+    )
     => w a (Many b1)
     -> w (Many a2) (Many b2)
     -> w a (Many b3)
@@ -112,7 +118,11 @@
 
 -- | right-to-left version of '(>&&>)'
 (<&&<) ::
-       (ThenSelect w a2 b1 b2 b3)
+    ( C.Category w
+    , Profunctor w
+    , Strong w
+    , ThenSelect a2 b1 b2 b3
+    )
     => w (Many a2) (Many b2)
     -> w a (Many b1)
     -> w a (Many b3)
diff --git a/src/Data/Diverse/Profunctor/Which.hs b/src/Data/Diverse/Profunctor/Which.hs
--- a/src/Data/Diverse/Profunctor/Which.hs
+++ b/src/Data/Diverse/Profunctor/Which.hs
@@ -17,7 +17,6 @@
     , injected
     , ChooseBetween
     , (+||+)
-    , AlsoChoose
     , (>||>)
     , (<||<)
     ) where
@@ -29,16 +28,18 @@
 import Data.Diverse.Lens
 
 -- | A friendlier constraint synonym for 'faceted'.
-type Faceted w a as x b bs y =
-    ( Profunctor w
-    , Choice w
-    , MatchingFacet a x y
+type Faceted a as x b bs y =
+    ( MatchingFacet a x y
     , AsFacet b y
     )
 
 -- | Like 'Choice' or 'ArrowChoice' but lifting into a polymorphic variant.
 faceted :: forall w a as x b bs y.
-    Faceted w a as x b bs y => w a b -> w x y
+    (Profunctor w
+    , Choice w
+    , Faceted a as x b bs y
+    )
+    => w a b -> w x y
 faceted w = dimap (matchingFacet @a @x @y)
                    (either id (review facet))
                    (right' w)
@@ -48,10 +49,8 @@
 faceted' w = dimap obvious pickOnly w
 
 -- | A friendlier constraint synonym for 'injected'.
-type Injected w a a' b b' =
-    ( Profunctor w
-    , Choice w
-    , Reinterpret a a'
+type Injected a a' b b' =
+    ( Reinterpret a a'
     , Diversify b (AppendUnique (Complement a' a) b)
     , Diversify (Complement a' a) (AppendUnique (Complement a' a) b)
     , b' ~ AppendUnique (Complement a' a) b
@@ -63,18 +62,18 @@
 -- NB. It is a compile error if all of the input types in the second arrow @a@
 -- is not the output types of the first arrow.
 -- This prevents surprising behaviour where the second arrow is ignored.
-injected
-    :: (Injected w a a' b b')
+injected ::
+    ( Profunctor w
+    , Choice w
+    , Injected a a' b b'
+    )
     => w (Which a) (Which b)
     -> w (Which a') (Which b')
 injected w = dimap reinterpret (either diversify diversify) (right' w)
 
 -- | A friendlier constraint synonym for '+||+'.
-type ChooseBetween w a1 a2 a3 b1 b2 b3 =
-    ( C.Category w
-    , Profunctor w
-    , Choice w
-    , Reinterpret a2 (Append a1 a2)
+type ChooseBetween a1 a2 a3 b1 b2 b3 =
+    ( Reinterpret a2 (Append a1 a2)
     , a1 ~ Complement (Append a1 a2) a2
     , a3 ~ Append a1 a2
     , Diversify b1 (AppendUnique b1 b2)
@@ -91,7 +90,11 @@
 -- @UniqueMember@ constraints in 'Reinterpret'.
 (+||+)
     :: forall w a1 a2 a3 b1 b2 b3.
-       (ChooseBetween w a1 a2 a3 b1 b2 b3)
+       ( C.Category w
+       , Profunctor w
+       , Choice w
+       , ChooseBetween a1 a2 a3 b1 b2 b3
+       )
     => w (Which a1) (Which b1)
     -> w (Which a2) (Which b2)
     -> w (Which a3) (Which b3)
@@ -101,12 +104,6 @@
         (lmap (reinterpret @a2 @(Append a1 a2)) (left' x) C.>>> right' y)
 infixr 2 +||+ -- like +++
 
--- | A friendlier constraint synonym for '>||>'.
-type AlsoChoose w a2 b1 b2 b3 =
-    ( C.Category w
-    , Injected w a2 b1 b2 b3
-    )
-
 -- | Left-to-right chaining of arrows one after another,  where left over possibilities not handled
 -- by the right arrow is forwarded to the output.
 -- It is a compile error if the types are not distinct in each of the argument arrow inputs,
@@ -116,7 +113,9 @@
 -- The compile error will be due to the @Complement c b ~ '[]@ constraint.
 (>||>)
     :: forall w a a2 b1 b2 b3.
-       ( AlsoChoose w a2 b1 b2 b3
+       ( C.Category w
+       , Choice w
+       , Injected a2 b1 b2 b3
        )
     => w a (Which b1)
     -> w (Which a2) (Which b2)
@@ -127,7 +126,9 @@
 -- | right-to-left version of '(>||>)'
 (<||<)
     :: forall w a a2 b1 b2 b3.
-       ( AlsoChoose w a2 b1 b2 b3
+       ( C.Category w
+       , Choice w
+       , Injected a2 b1 b2 b3
        )
     => w (Which a2) (Which b2)
     -> w a (Which b1)