diff --git a/examples/church.mq b/examples/church.mq
new file mode 100644
index 0000000..69d860d
--- /dev/null
+++ b/examples/church.mq
@@ -0,0 +1,38 @@
+-- PAIR definition
+var pair = [x y | [z | z x y]];
+var car = [p | p [x y | x]];
+var cdr = [p | p [x y | y]];
+
+var x = pair 100 200;
+say (car x);
+say (cdr x);
+
+-- This two values should be builtin, but currently is not
+var true = (1 == 1);
+var false = (1 != 1);
+
+-- LIST definition
+var null = pair true true;
+var is_empty = car;
+var head = [list | car (cdr list)];
+var tail = [list | cdr (cdr list)];
+var cons = [head tail | pair false (pair head tail)];
+
+var for_each = [list iterator |
+	if (is_empty list) [| nil ] [|
+		iterator (head list);
+		for_each (tail list) iterator ]];
+
+var map = [list iterator |
+	if (is_empty list) [| null ] [|
+		cons (iterator (head list)) (map (tail list) iterator) ]];
+
+var foldr = [list init folder |
+	if (is_empty list)
+		[| init ]
+		[| foldr (tail list) (folder (head list) init) folder ]];
+
+var range = [start stop | if (start >= stop) [|cons start null] [|cons start (range (start+1) stop)]];
+
+var xs = range 1 5;
+say (foldr xs 1 [x y|x*y]);
diff --git a/src/interpreter.cc b/src/interpreter.cc
index 8c23e3a..de8e499 100644
--- a/src/interpreter.cc
+++ b/src/interpreter.cc
@@ -151,6 +151,8 @@ Result<Value> Interpreter::eval(Ast &&ast)
 				assert(param.type == Ast::Type::Literal && param.token.type == Token::Type::Symbol, "Not a name in parameter section of Ast::lambda");
 				lambda.parameters.push_back(std::string(std::move(param).token.source));
 			}
+
+			lambda.context = env;
 			lambda.body = std::move(ast.arguments.back());
 			return Value::lambda(std::move(lambda));
 		}
diff --git a/src/musique.hh b/src/musique.hh
index 812962a..30837a4 100644
--- a/src/musique.hh
+++ b/src/musique.hh
@@ -423,8 +423,9 @@ struct Number
 
 std::ostream& operator<<(std::ostream& os, Number const& num);
 
-struct Value;
+struct Env;
 struct Interpreter;
+struct Value;
 
 using Function = std::function<Result<Value>(Interpreter &i, std::vector<Value>)>;
 
@@ -433,6 +434,7 @@ struct Lambda
 	Location location;
 	std::vector<std::string> parameters;
 	Ast body;
+	std::shared_ptr<Env> context;
 
 	Result<Value> operator()(Interpreter &i, std::vector<Value> params);
 };
diff --git a/src/value.cc b/src/value.cc
index 59d62e5..f3656e4 100644
--- a/src/value.cc
+++ b/src/value.cc
@@ -129,8 +129,9 @@ std::string_view type_name(Value::Type t)
 
 Result<Value> Lambda::operator()(Interpreter &i, std::vector<Value> arguments)
 {
-	// TODO Add some kind of scope guard
+	auto old_scope = std::exchange(i.env, context);
 	i.enter_scope();
+
 	assert(parameters.size() == arguments.size(), "wrong number of arguments");
 
 	for (usize j = 0; j < parameters.size(); ++j) {
@@ -139,6 +140,6 @@ Result<Value> Lambda::operator()(Interpreter &i, std::vector<Value> arguments)
 
 	auto result = i.eval((Ast)body);
 
-	i.leave_scope();
+	i.env = old_scope;
 	return result;
 }