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/Mixed/Shape.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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

diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs
index f8b19c2..c2ab93f 100644
--- a/src/Data/Array/Nested/Mixed/Shape.hs
+++ b/src/Data/Array/Nested/Mixed/Shape.hs
@@ -173,8 +173,8 @@ pattern (:.%)
   :: forall {sh1} {i}.
      forall n sh. (n : sh ~ sh1)
   => i -> IxX sh i -> IxX sh1 i
-pattern i :.% shl <- IxX (listxUncons -> Just (UnconsListXRes (IxX -> shl) i))
-  where i :.% IxX shl = IxX (i ::% shl)
+pattern i :.% sh <- IxX (i ::% (IxX -> sh))
+  where i :.% IxX sh = IxX (i ::% sh)
 infixr 3 :.%
 
 {-# COMPLETE ZIX, (:.%) #-}
-- 
cgit v1.3