From 0ace0c79acbd98b7592d155c8b54e2959e3a706f Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Thu, 26 Jun 2025 23:50:19 +0200
Subject: Tweak haddocs and comments slightly

---
 src/Data/Array/Nested/Mixed/Shape.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/src/Data/Array/Nested/Mixed/Shape.hs b/src/Data/Array/Nested/Mixed/Shape.hs
index bf14bf5..60be42f 100644
--- a/src/Data/Array/Nested/Mixed/Shape.hs
+++ b/src/Data/Array/Nested/Mixed/Shape.hs
@@ -172,7 +172,7 @@ listxZipWith f (i ::% is) (j ::% js) =
 
 -- * Mixed indices
 
--- | This is a newtype over 'ListX'.
+-- | An index into a mixed-typed array.
 type role IxX nominal representational
 type IxX :: [Maybe Nat] -> Type -> Type
 newtype IxX sh i = IxX (ListX sh (Const i))
@@ -191,6 +191,8 @@ infixr 3 :.%
 
 {-# COMPLETE ZIX, (:.%) #-}
 
+-- For convenience, this contains regular 'Int's instead of bounded integers
+-- (traditionally called \"@Fin@\").
 type IIxX sh = IxX sh Int
 
 #ifdef OXAR_DEFAULT_SHOW_INSTANCES
-- 
cgit v1.2.3-70-g09d2