diff --git a/src/Main.hs b/src/Main.hs
index ad7d335..fba8d40 100644
--- a/src/Main.hs
+++ b/src/Main.hs
@@ -197,4 +197,13 @@ prelude =
         , "        False => True"
         , "        _ => False"
         , "    False => False"
+        , "data Unit where"
+        , "  Unit : Unit"
+        , "\n"
+        , "printChar : Char -> Unit"
+        , "printChar = \\x. Unit"
+        , "\n"
+        , "printStr xs = case xs of"
+        , "    Nil => Nil"
+        , "    Cons x xs => Cons (print x) (printStr xs)"
         ]