From 558a3db2173e34f4d96534b49dab1a51703f6c62 Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 30 Jun 2025 10:53:42 +0200
Subject: Add SNat import to readme taster

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

diff --git a/README.md b/README.md
index 1d6e047..01bcbac 100644
--- a/README.md
+++ b/README.md
@@ -61,7 +61,7 @@ Below the surface layer, there is a more low-level wrapper (`XArray`) around
 Here is a little taster of the API, to get a sense for the design:
 
 ```haskell
-import GHC.TypeLits (Nat)
+import GHC.TypeLits (Nat, SNat)
 
 data Ranked (n :: Nat) a             {- e.g. -}  Ranked 3 Float
 data Shaped (sh :: '[Nat]) a         {- e.g. -}  Shaped [2,3,4] Float
-- 
cgit v1.2.3-70-g09d2