diff --git a/examples/acceptance_tests/038/aiken.lock b/examples/acceptance_tests/038/aiken.lock
new file mode 100644
index 00000000..3a78b1e7
--- /dev/null
+++ b/examples/acceptance_tests/038/aiken.lock
@@ -0,0 +1,5 @@
+# This file was generated by Aiken
+# You typically do not need to edit this file
+
+requirements = []
+packages = []
diff --git a/examples/acceptance_tests/038/aiken.toml b/examples/acceptance_tests/038/aiken.toml
new file mode 100644
index 00000000..b7e4165a
--- /dev/null
+++ b/examples/acceptance_tests/038/aiken.toml
@@ -0,0 +1,2 @@
+name = "aiken-lang/acceptance_test_038"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/038/lib/tests.ak b/examples/acceptance_tests/038/lib/tests.ak
new file mode 100644
index 00000000..0802a5c3
--- /dev/null
+++ b/examples/acceptance_tests/038/lib/tests.ak
@@ -0,0 +1,21 @@
+pub fn and(self: List<Bool>) -> Bool {
+  when self is {
+    [] -> True
+    [x, ..xs] -> x && and(xs)
+  }
+}
+
+test and_1() {
+  and([True, True])
+}
+
+pub fn or(self: List<Bool>) -> Bool {
+  when self is {
+    [] -> False
+    [x, ..xs] -> x || or(xs)
+  }
+}
+
+test or_1() {
+  or([True, True])
+}