From d19f39fa1855bcb796533ffdad8271efe0f88aa0 Mon Sep 17 00:00:00 2001
From: Steve Dunham <dunhamsteve@gmail.com>
Date: Fri, 26 Dec 2025 13:02:27 -0800
Subject: [PATCH] additional cast from AoC

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

diff --git a/src/Data/Fin.newt b/src/Data/Fin.newt
index 8a9b455..67a74d1 100644
--- a/src/Data/Fin.newt
+++ b/src/Data/Fin.newt
@@ -26,6 +26,10 @@ instance ∀ n. Cast (Fin n) Nat where
   cast FZ = Z
   cast (FS x) = S (cast x)
 
+instance ∀ n. Cast (Fin n) Int where
+  cast FZ = 0
+  cast (FS x) = 1 + (cast x)
+
 instance ∀ k. Show (Fin k) where
   show x = show {Nat} $ cast x