diff --git a/examples/prelude.ail.json b/examples/prelude.ail.json
new file mode 100644
index 0000000..a56ce9e
--- /dev/null
+++ b/examples/prelude.ail.json
@@ -0,0 +1,18 @@
+{
+  "schema": "ailang/v0",
+  "name": "prelude",
+  "imports": [],
+  "defs": [
+    {
+      "kind": "type",
+      "name": "Ordering",
+      "vars": [],
+      "doc": "Result of a three-way comparison: LT (less than), EQ (equal), GT (greater than). Ships in milestone 23 as the codomain of Ord.compare.",
+      "ctors": [
+        { "name": "LT", "fields": [] },
+        { "name": "EQ", "fields": [] },
+        { "name": "GT", "fields": [] }
+      ]
+    }
+  ]
+}