examples of trees that can go into lambda calculator