\x.(x+1)
//  this is a comment
(\y.(\z.y)) 3