From 685ff3cf2da697ece0ce07e5f8bc896b3ca46b85 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Thu, 15 Sep 2022 13:49:07 +0200
Subject: [PATCH] Fix kind inference not detecting when too many arguments are
 applied

---
 src/checker.ts | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/checker.ts b/src/checker.ts
index a67a8d458..2c0ead14b 100644
--- a/src/checker.ts
+++ b/src/checker.ts
@@ -919,8 +919,8 @@ export class Checker {
         const a2 = this.createKindVar();
         const arrow = new KArrow(a1, a2);
         this.unifyKind(arrow, operator, node);
-        this.unifyKind(a1, arg, node);
-        return a2;
+        this.unifyKind(a2, arg, node);
+        return a1;
       }
       case KindType.Arrow:
       {