From 30d9683d63f7ede4eee179abcff362f2877f94de Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Wed, 8 Jul 2026 13:11:22 -0700
Subject: [PATCH] Traverse SnocList

---
 src/Prelude.newt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/Prelude.newt b/src/Prelude.newt
index e680b2a..0900957 100644
--- a/src/Prelude.newt
+++ b/src/Prelude.newt
@@ -193,6 +193,10 @@ instance Traversable List where
   traverse f Nil = pure Nil
   traverse f (x :: xs) = pure _::_ <*> f x <*> traverse f xs
 
+instance Traversable SnocList where
+  traverse f Lin = pure Lin
+  traverse f (xs :< x) = pure _:<_ <*> traverse f xs <*> f x
+
 traverse_ : ∀ t f a b. {{Traversable t}} {{Applicative f}} → (a → f b) → t a → f Unit
 traverse_ f xs = pure (const MkUnit) <*> traverse f xs
 
-- 
2.54.0