diff --git a/examples/acceptance_tests/011/aiken.toml b/examples/acceptance_tests/011/aiken.toml
new file mode 100644
index 00000000..929d7fd5
--- /dev/null
+++ b/examples/acceptance_tests/011/aiken.toml
@@ -0,0 +1,2 @@
+name = "acceptance_test_011"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/011/lib/test.ak b/examples/acceptance_tests/011/lib/test.ak
new file mode 100644
index 00000000..9c515622
--- /dev/null
+++ b/examples/acceptance_tests/011/lib/test.ak
@@ -0,0 +1,10 @@
+pub fn map(xs: List<a>, f: fn(a) -> result) -> List<result> {
+  when xs is {
+    [] -> []
+    [x, ..rest] -> [f(x), ..map(rest, f)]
+  }
+}
+
+test map_1() {
+  map([], fn(n) { n + 1 }) == []
+}