diff --git a/src/Data.Tuple.Containing.purs b/src/Data.Tuple.Containing.purs
index fcfcc8f..06688b2 100644
--- a/src/Data.Tuple.Containing.purs
+++ b/src/Data.Tuple.Containing.purs
@@ -19,10 +19,8 @@ else instance TupleContaining b (a /\ b) where
   extract = snd
 else instance TupleContaining b (a /\ b /\ c) where
   extract (_ /\ b /\ _) = b
-else instance TupleContaining c (a /\ b /\ c) where
-  extract (_ /\ _ /\ c) = c
-else instance TupleContaining b (a /\ b /\ Unit) where
-  extract (_ /\ b /\ _) = b
+else instance TupleContaining c (a /\ b /\ c /\ Unit) where
+  extract (_ /\ _ /\ c /\ _) = c
 else instance TupleContaining a tail => TupleContaining a (Tuple head tail) where
   extract (_ /\ tail) = extract tail