diff --git a/sample-programs/basic-8 b/sample-programs/basic-8
new file mode 100644
index 0000000..59abdac
--- /dev/null
+++ b/sample-programs/basic-8
@@ -0,0 +1,2 @@
+
+f x = let double = \y. y+y in (\x. x+y) 4;