diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,5 +1,10 @@
 # Changelog for can-i-haz
 
+## 0.2.0.1
+
+* Less boilerplate for `Has` tuple instances and `CoHas` `Either` instance.
+* Out-of-the-box `Has` support for up to sextuples due to the reduced boilerplate.
+
 ## 0.2.0.0
 
 * Added `CoHas` class (dual to `Has`), allowing injecting values into sum types.
diff --git a/can-i-haz.cabal b/can-i-haz.cabal
--- a/can-i-haz.cabal
+++ b/can-i-haz.cabal
@@ -4,10 +4,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: f095662cefa6570b0b71e77b9752c4419c6e4597b04918e7a0671690c9efb5c4
+-- hash: 0394d90d99b920a658070f87d57d6cd3df94ee5b5af1d08be8b70136c4888334
 
 name:           can-i-haz
-version:        0.2.0.0
+version:        0.2.0.1
 synopsis:       Generic implementation of the Has and CoHas patterns
 description:    Please see the README on GitHub at <https://github.com/0xd34df00d/can-i-haz#readme>
 category:       Control
diff --git a/src/Control/Monad/Except/CoHas.hs b/src/Control/Monad/Except/CoHas.hs
--- a/src/Control/Monad/Except/CoHas.hs
+++ b/src/Control/Monad/Except/CoHas.hs
@@ -125,5 +125,4 @@
 instance CoHas sum sum where
   inject = id
 
-instance SuccessfulSearch l (Either l r) path => CoHas l (Either l r)
-instance SuccessfulSearch r (Either l r) path => CoHas r (Either l r)
+instance SuccessfulSearch a (Either l r) path => CoHas a (Either l r)
diff --git a/src/Control/Monad/Reader/Has.hs b/src/Control/Monad/Reader/Has.hs
--- a/src/Control/Monad/Reader/Has.hs
+++ b/src/Control/Monad/Reader/Has.hs
@@ -142,9 +142,8 @@
 instance Has record record where
   extract = id
 
-instance SuccessfulSearch a0 (a0, a1) path => Has a0 (a0, a1)
-instance SuccessfulSearch a1 (a0, a1) path => Has a1 (a0, a1)
-
-instance SuccessfulSearch a0 (a0, a1, a2) path => Has a0 (a0, a1, a2)
-instance SuccessfulSearch a1 (a0, a1, a2) path => Has a1 (a0, a1, a2)
-instance SuccessfulSearch a2 (a0, a1, a2) path => Has a2 (a0, a1, a2)
+instance SuccessfulSearch a (a0, a1) path => Has a (a0, a1)
+instance SuccessfulSearch a (a0, a1, a2) path => Has a (a0, a1, a2)
+instance SuccessfulSearch a (a0, a1, a2, a3) path => Has a (a0, a1, a2, a3)
+instance SuccessfulSearch a (a0, a1, a2, a3, a4) path => Has a (a0, a1, a2, a3, a4)
+instance SuccessfulSearch a (a0, a1, a2, a3, a4, a5) path => Has a (a0, a1, a2, a3, a4, a5)