From 6afe8c2a4e3ee28ebd923059d55dffafa7bbcc90 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <thatonelutenist@stranger.systems>
Date: Mon, 27 Jan 2025 19:55:35 -0500
Subject: [PATCH] Make runFirstIO more generic

---
 src/Parser/Interface.md | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/Parser/Interface.md b/src/Parser/Interface.md
index 79583cf..53be055 100644
--- a/src/Parser/Interface.md
+++ b/src/Parser/Interface.md
@@ -110,7 +110,8 @@ Provide wrappers for `rundownFirst` for evaluating it in various contexts.
 
 ```idris
 export
-runFirstIO : (f : Parser a) -> String -> IO (Either ParseError a)
+runFirstIO : HasIO io => MonadRec io =>
+  (f : Parser a) -> String -> io (Either ParseError a)
 runFirstIO f str = do
   Just state <- newInternalIO str
     | _ => pure . Left $ BeforeParse "Empty input"