From 81d6d9f99ce8ea56df2c926156a3e3600a1a4117 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Roman=20Smr=C5=BE?= <roman.smrz@seznam.cz>
Date: Sat, 25 Apr 2026 10:51:21 +0200
Subject: Polymorphic types in function arguments

---
 src/Script/Expr.hs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/Script/Expr.hs')

diff --git a/src/Script/Expr.hs b/src/Script/Expr.hs
index 06eb9f6..bbb6083 100644
--- a/src/Script/Expr.hs
+++ b/src/Script/Expr.hs
@@ -457,12 +457,12 @@ exprArgs = \case
     App {} -> error "exprArgs: app"
     Undefined {} -> error "exprArgs: undefined"
 
-data SomeArgumentType = forall a. ExprType a => SomeArgumentType (ArgumentType a)
+data SomeArgumentType = SomeArgumentType ArgumentType SomeExprType
 
-data ArgumentType a
+data ArgumentType
     = RequiredArgument
     | OptionalArgument
-    | ExprDefault (Expr a)
+    | ExprDefault SomeExpr
     | ContextDefault
 
 
-- 
cgit v1.2.3