From 3f51f47d0c47274becd6ff78bffd98f827e4f018 Mon Sep 17 00:00:00 2001 From: Orion Kindel Date: Sat, 18 Nov 2023 17:49:29 -0600 Subject: [PATCH] fix: more tuplecontaining fixes --- src/Data.Tuple.Containing.purs | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) 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