From c716948932afe34f1d6d493280dcd3ccae726b3b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Madeleine=20Sydney=20=C5=9Alaga?= <msyds@deertopia.net>
Date: Thu, 7 May 2026 10:03:37 -0600
Subject: [PATCH]

---
 app/Gyehoek/Sexp.hs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/app/Gyehoek/Sexp.hs b/app/Gyehoek/Sexp.hs
index c5ea7a2..c6f62d4 100644
--- a/app/Gyehoek/Sexp.hs
+++ b/app/Gyehoek/Sexp.hs
@@ -37,9 +37,9 @@ let_ name rhs e = list (el (sym "let") >>> el bindings >>> el e)
 data DotList a = MkDotList (NonEmpty a) a
   deriving (Show, Generic)
 
-dotlist :: Grammar Position _ _ -> _
+dotlist :: (forall t. Grammar Position (Sexp :- t) (a :- t)) -> _
 dotlist x = list $ rest $ coproduct
-  [ x >>> iso _ _
+  [ x >>> _
   ]
 
 lambda