From c2cc922c7b56d17080aef1c6b41e2e98120dd7af Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Tue, 4 Mar 2025 23:19:32 +0100
Subject: Language: Specify type param order on let_

---
 src/Language.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Language.hs b/src/Language.hs
index 810a889..d2eee7f 100644
--- a/src/Language.hs
+++ b/src/Language.hs
@@ -45,7 +45,7 @@ inline = inlineNFun
 (.$) = flip SCons
 
 
-let_ :: Var name a -> NExpr env a -> NExpr ('(name, a) : env) t -> NExpr env t
+let_ :: forall a t env name. Var name a -> NExpr env a -> NExpr ('(name, a) : env) t -> NExpr env t
 let_ = NELet
 
 pair :: NExpr env a -> NExpr env b -> NExpr env (TPair a b)
-- 
cgit v1.2.3-70-g09d2