From 7c5041d2703df2d9fd729d8f0ab8aa500cf82e08 Mon Sep 17 00:00:00 2001
From: sebastian <sebastian.selander@gmail.com>
Date: Tue, 28 Mar 2023 21:52:09 +0200
Subject: [PATCH] added this stupid complex bug to Bugs.md

---
 src/TypeChecker/Bugs.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/TypeChecker/Bugs.md b/src/TypeChecker/Bugs.md
index fb986a5..d1fd70d 100644
--- a/src/TypeChecker/Bugs.md
+++ b/src/TypeChecker/Bugs.md
@@ -36,3 +36,13 @@ main = case \x. x of {
     _ => 0;
 };
 ```
+
+# Inference should not depend on order
+
+This one is really tough, strangely
+Spent many hours on this so far
+
+```hs
+main = id 0 ;
+id x = x;
+```