1.4.6 Functional Application
1.4.6 Functional Application - evlis with l->r evaluation