From e8d37c77cb2d700ff5ce497fe1351e553fcc80d8 Mon Sep 17 00:00:00 2001
From: Samuel Hammersberg <samuel.hammersberg@gmail.com>
Date: Fri, 28 Apr 2023 14:10:39 +0200
Subject: [PATCH] Fixed a typo.

---
 src/Main.hs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Main.hs b/src/Main.hs
index a916139..5e4d09c 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -170,7 +170,7 @@ prelude :: String
 prelude =
     unlines
         [ "\n"
-        , "customHelperFunctionCuzPoorImplementation : Bool -> Int -> Bool"
+        , "customHelperFunctionCuzPoorImplementation : Bool () -> Int -> Bool ()"
         , "customHelperFunctionCuzPoorImplementation x y = x"
         , "data Bool () where"
         , "    False : Bool ()"