From fe034ff95a1f299ed140f37e416b5562cd423457 Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Wed, 17 Dec 2025 19:06:38 +0100
Subject: Make List?, except ListH, less general

---
 src/Data/Array/Nested/Ranked/Shape.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/Data/Array/Nested/Ranked')

diff --git a/src/Data/Array/Nested/Ranked/Shape.hs b/src/Data/Array/Nested/Ranked/Shape.hs
index 2f20e1a..2415e26 100644
--- a/src/Data/Array/Nested/Ranked/Shape.hs
+++ b/src/Data/Array/Nested/Ranked/Shape.hs
@@ -250,12 +250,12 @@ ixrZero :: SNat n -> IIxR n
 ixrZero SZ = ZIR
 ixrZero (SS n) = 0 :.: ixrZero n
 
+{-# INLINEABLE ixrFromList #-}
 ixrFromList :: forall n i. SNat n -> [i] -> IxR n i
 ixrFromList = coerce (listrFromList @_ @i)
 
-{-# INLINEABLE ixrToList #-}
-ixrToList :: forall n i. IxR n i -> [i]
-ixrToList = coerce (listrToList @_ @i)
+ixrToList :: IxR n i -> [i]
+ixrToList = Foldable.toList
 
 ixrHead :: IxR (n + 1) i -> i
 ixrHead (IxR list) = listrHead list
-- 
cgit v1.2.3-70-g09d2