diff --git a/README.md b/README.md
--- a/README.md
+++ b/README.md
@@ -7,6 +7,9 @@
 
 # Changelog
 
+* 3.0.0.2
+  - Fixed haddock.
+
 * 3.0.0.1
   - Fixed GHC 8.2.2 "Type indexes must match class instance head" compile error.
 
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:             3.0.0.1
+version:             3.0.0.2
 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/Which.hs b/src/Data/Diverse/Profunctor/Which.hs
--- a/src/Data/Diverse/Profunctor/Which.hs
+++ b/src/Data/Diverse/Profunctor/Which.hs
@@ -91,10 +91,11 @@
 injectedK f = runKleisli . injected $ Kleisli f
 
 -- | A friendlier constraint synonym for 'chooseBoth'.
+-- Redundant constraint: @b3 ~ AppendUnique b1 b2@ is redundant but narrows down @b3@
 type ChooseBoth b1 b2 b3 =
     ( Diversify b1 b3
     , Diversify b2 b3
-    , b3 ~ AppendUnique b1 b2 -- ^ Redundant constraint: but narrows down @b3@
+    , b3 ~ AppendUnique b1 b2
     )
 
 -- chooseBoth ::
@@ -109,11 +110,11 @@
 -- infixr 2 `chooseBoth` -- like +++
 
 -- | A friendlier constraint synonym for 'chooseFrom'.
+-- Redundant constraint: @a3 ~ Append a1 a2@ is redundant but narrows down @a3@
 type ChooseFrom a1 a2 a3 =
-    -- ( Reinterpreted a2 a3 a1 -- a1 ~ Complement a3 a2
-    ( Reinterpret a2 a3-- a1 ~ Complement a3 a2
+    ( Reinterpret a2 a3
     , a1 ~ Complement a3 a2
-    , a3 ~ Append a1 a2 -- ^ Redundant constraint: but narrows down @a3@
+    , a3 ~ Append a1 a2
     )
 
 -- -- | A friendlier constraint synonym for 'chooseBetween'.