Update the README remark about the implementation of indexes

1 files changed, 1 insertions, 1 deletions

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)