From b9c358c622332bff0593fb500766fbfa5a1a366f Mon Sep 17 00:00:00 2001
From: Nilstrieb <nilstrieb@gmail.com>
Date: Fri, 9 Jul 2021 14:09:47 +0200
Subject: [PATCH] :)

---
 chapter4/Types.idr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/chapter4/Types.idr b/chapter4/Types.idr
index 6ed2e37..3129666 100644
--- a/chapter4/Types.idr
+++ b/chapter4/Types.idr
@@ -84,6 +84,7 @@ insert x orig@(Node left val right) = case compare x val of
                                       EQ => orig
                                       GT => Node left val (insert x right)
 
+-- and it worked on the first try without any type errors lets goooo
 listToTree : Ord elem => List elem -> BSTree elem
 listToTree xs = listToTreeInner xs Empty
   where