diff --git a/prelude.jl b/prelude.jl
index bd1a296..a4437f4 100644
--- a/prelude.jl
+++ b/prelude.jl
@@ -7,3 +7,23 @@ deftype String (List Char)
 deftype (List a)
   (Empty |
    (Cons a (List a)))
+
+deftype Int Intrinsic
+
+deftype Float Intrinsic
+
+deftype Char Intrinsic
+
+deftype Byte Intrinsic
+
+deftype Void Intrinsic
+
+(map :: ((a -> b) -> (List a) -> (List b)))
+
+(head :: ((List a) -> a))
+
+(tail :: ((List a) -> (List a)))
+
+(!! :: (Int -> (List a) -> a))
+
+(print :: (String -> (IO Void)))