diff --git a/examples/basic.dcdl b/examples/basic.dcdl
new file mode 100644
index 0000000..272afee
--- /dev/null
+++ b/examples/basic.dcdl
@@ -0,0 +1,13 @@
+let
+  MyConfig = {
+    host = String;
+    port = Int & > 443 default 8080;
+    feature.enable = Bool default true;
+  };
+  mkConfig = (cfg: MyConfig) => cfg;
+in
+  mkConfig({
+    host = "127.0.0.1";
+    port = 8000;
+    feature.enable = false;
+  })