From 57e200212725a24a2ca715c8acda76586306b0ee Mon Sep 17 00:00:00 2001
From: Mikolaj Konarski <mikolaj.konarski@funktory.com>
Date: Tue, 7 Apr 2026 17:22:19 +0200
Subject: Update the README remark about the implementation of indexes

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README.md')

diff --git a/README.md b/README.md
index 667bf9d..032f7b8 100644
--- a/README.md
+++ b/README.md
@@ -88,7 +88,7 @@ mindex :: Elt a => Mixed xsh a -> IIxX xsh -> a
 
 -- The index types can be used as if they were defined as follows; pattern
 -- synonyms are provided to construct the illusion. (The actual definitions are
--- a bit more general and indirect.)
+-- indirect, with the benefit that they make many conversion operations free.)
 data IIxR n where
   ZIR   :: IIxR 0
   (:.:) :: Int -> IIxR n -> IIxR (n + 1)
-- 
cgit v1.3