diff --git a/eg/ex.newt b/eg/ex.newt
new file mode 100644
index 0000000..0dcbafd
--- /dev/null
+++ b/eg/ex.newt
@@ -0,0 +1,9 @@
+module Ex
+
+data Bool : Type where
+  True : Bool
+  False : Bool
+
+id : a -> a
+id = \ a => a
+