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 ()"