Simple Lambda Calculus Examples