diff --git a/examples/constDivZero.hs b/examples/constDivZero.cr
similarity index 100%
rename from examples/constDivZero.hs
rename to examples/constDivZero.cr
diff --git a/examples/factorial.hs b/examples/factorial.cr
similarity index 100%
rename from examples/factorial.hs
rename to examples/factorial.cr
diff --git a/examples/sumList.cr b/examples/sumList.cr
new file mode 100644
index 0000000..00b3659
--- /dev/null
+++ b/examples/sumList.cr
@@ -0,0 +1,12 @@
+{-# PackData Nil  0 0 #-}
+{-# PackData Cons 1 2 #-}
+
+foldr f z l = case l of
+    { Nil       -> z
+    ; Cons x xs -> f x (foldr f z xs)
+    };
+
+list = Cons 1 (Cons 2 (Cons 3 Nil));
+
+main = foldr (+#) 0 list;
+
diff --git a/examples/sumList.hs b/examples/sumList.hs
deleted file mode 100644
index 5193a67..0000000
--- a/examples/sumList.hs
+++ /dev/null
@@ -1,9 +0,0 @@
-nil = Pack{0 0};
-cons x y = Pack{1 2} x y;
-list = cons 1 (cons 2 (cons 3 nil));
-sum l = case l of
-    { <0>      -> 0
-    ; <1> x xs -> (+#) x (sum xs)
-    };
-main = sum list;
-