From 2095a851760b6bb44ba92b70df1efceff1bad267 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Fri, 3 Apr 2026 22:42:03 +0200
Subject: Simplify the index list pattern synonyms

---
 src/Data/Array/Nested/Shaped/Shape.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/Data/Array/Nested/Shaped/Shape.hs')

diff --git a/src/Data/Array/Nested/Shaped/Shape.hs b/src/Data/Array/Nested/Shaped/Shape.hs
index 69465a2..d59f65c 100644
--- a/src/Data/Array/Nested/Shaped/Shape.hs
+++ b/src/Data/Array/Nested/Shaped/Shape.hs
@@ -197,8 +197,8 @@ pattern (:.$)
   :: forall {sh1} {i}.
      forall n sh. (n : sh ~ sh1)
   => i -> IxS sh i -> IxS sh1 i
-pattern i :.$ shl <- IxS (listsUncons -> Just (UnconsListSRes (IxS -> shl) i))
-  where i :.$ IxS shl = IxS (i ::$ shl)
+pattern i :.$ sh <- IxS (i ::$ (IxS -> sh))
+  where i :.$ IxS sh = IxS (i ::$ sh)
 infixr 3 :.$
 
 {-# COMPLETE ZIS, (:.$) #-}
-- 
cgit v1.3