Lambda abstraction Page
#redirect
lambda expression