diff --git a/examples/acceptance_tests/019/aiken.toml b/examples/acceptance_tests/019/aiken.toml
new file mode 100644
index 00000000..50327983
--- /dev/null
+++ b/examples/acceptance_tests/019/aiken.toml
@@ -0,0 +1,2 @@
+name = "acceptance_test_019"
+version = "0.0.0"
diff --git a/examples/acceptance_tests/019/lib/test.ak b/examples/acceptance_tests/019/lib/test.ak
new file mode 100644
index 00000000..c6c876c4
--- /dev/null
+++ b/examples/acceptance_tests/019/lib/test.ak
@@ -0,0 +1,14 @@
+pub fn map(opt: Option<a>, f: fn(a) -> result) -> Option<result> {
+  when opt is {
+    None -> None
+    Some(a) -> Some(f(a))
+  }
+}
+
+test map_1() {
+  map(None, fn(_) { 14 }) == None
+}
+
+test map_2() {
+  map(None, fn(_) { Nil }) == None
+}