From 82816e7fad93b20120d68c3bc40c30a498817792 Mon Sep 17 00:00:00 2001
From: Dustin Swan <dustin@dustinswan.com>
Date: Thu, 26 Mar 2026 21:41:18 -0600
Subject: [PATCH] Typo

---
 src/typechecker.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/typechecker.ts b/src/typechecker.ts
index 47d1e1e..b1c8994 100644
--- a/src/typechecker.ts
+++ b/src/typechecker.ts
@@ -361,7 +361,7 @@ export function typecheck(defs: Definition[], typeDefs: TypeDefinition[] = [], c
             } else {
                 let fnType: TypeAST = resultType;
                 for (let i = ctor.args.length - 1; i >= 0; i--) {
-                    fnType = { kind: 'type-function', param: ctor.args[0], result: fnType };
+                    fnType = { kind: 'type-function', param: ctor.args[i], result: fnType };
                 }
                 env.set(ctor.name, fnType);
             }