diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -8,6 +8,9 @@
 
 # Changelog
 
+* 2.0.0.1
+  - Forgot to expose constraint synonyms for Projected/Injected.
+
 * 2.0.0.0
   - Breaking change: Removed HasProject and AsInject typeclasses and changed them back to functions.
   - Added 'MatchingFacet' typeclasses for polymorphic 'matching' of prisms.
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.0
+version:             2.0.0.1
 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
@@ -10,10 +10,14 @@
 
 module Data.Diverse.Profunctor.Many (
       -- * Combinators similar to Profunctor Strong
-      itemized
+      Itemized
+    , itemized
     , itemized'
+    , Projected
     , projected
+    , SelectWith
     , (*&&*)
+    , ThenSelect
     , (>&&>)
     , (<&&<)
     ) where
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
@@ -10,10 +10,14 @@
 
 module Data.Diverse.Profunctor.Which (
       -- * Combinators similar to Profunctor Choice
-      faceted
+      Faceted
+    , faceted
     , faceted'
+    , Injected
     , injected
+    , ChooseBetween
     , (+||+)
+    , AlsoChoose
     , (>||>)
     , (<||<)
     ) where