From e7d7ac0fd8b81c1d6fae9ab7c1e4654133c631ea Mon Sep 17 00:00:00 2001
From: Tom Smeding <tom@tomsmeding.com>
Date: Mon, 21 Oct 2024 23:20:57 +0200
Subject: Tests

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

(limited to 'src/Language.hs')

diff --git a/src/Language.hs b/src/Language.hs
index cdc6d6b..80de713 100644
--- a/src/Language.hs
+++ b/src/Language.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE DataKinds #-}
+{-# LANGUAGE ExplicitForAll #-}
 {-# LANGUAGE OverloadedLabels #-}
 {-# LANGUAGE TypeOperators #-}
 module Language (
@@ -22,7 +23,7 @@ infixr 0 :->
 body :: NExpr env t -> NFun env env t
 body = NBody
 
-lambda :: Var name a -> NFun ('(name, a) : env) env' t -> NFun env env' t
+lambda :: forall a name env env' t. Var name a -> NFun ('(name, a) : env) env' t -> NFun env env' t
 lambda = NLam
 
 
-- 
cgit v1.2.3-70-g09d2