From 656e8610ed263e26f6a914f727412f411df324a6 Mon Sep 17 00:00:00 2001
From: daanx <daan@effp.org>
Date: Mon, 4 Mar 2024 09:34:06 -0800
Subject: [PATCH] disable kind assertion for now

---
 src/Type/TypeVar.hs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Type/TypeVar.hs b/src/Type/TypeVar.hs
index 45c31529e..08712c88f 100644
--- a/src/Type/TypeVar.hs
+++ b/src/Type/TypeVar.hs
@@ -165,10 +165,12 @@ subFind :: HasCallStack => TypeVar -> Sub -> Tau
 subFind tvar sub
   = case subLookup tvar sub of
       Nothing   -> TVar tvar
-      Just tau  -> assertion ("Type.TypeVar.subFind: incompatible kind: "
+      Just tau  -> {-
+                   assertion ("Type.TypeVar.subFind: incompatible kind: "
                              ++ "\n tvar: " ++ showTVar tvar ++ ":" ++ show (getKind tvar) ++ ","
                              ++ "\n type: " ++ show tau ++ ":" ++ show (getKind tau))
                              (getKind tvar == getKind tau) $
+                   -}
                    tau
 
 showTVar (TypeVar id _ _)