diff --git a/src/Main.hs b/src/Main.hs
index 75aad28..e2a39d6 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -203,9 +203,13 @@ prelude =
         , "printChar : Char -> Unit"
         , "printChar = \\x. Unit"
         , "\n"
+        , "flipConst : a -> b -> a"
+        , "flipConst x y = y"
+        , "\n"
+        , "printStr : List Char -> Unit"
         , "printStr xs = case xs of"
-        , "    Nil => Nil"
-        , "    Cons x xs => Cons (printChar x) (printStr xs)"
+        , "    Nil => Unit"
+        , "    Cons x xs => flipConst (printChar x) (printStr xs)"
         , "\n"
         , "data List a where"
         , "    Cons : a -> List a -> List a"