 For example, formula_55 represents the identity function, formula_8, and formula_58 represents the identity function applied to formula_21.Further, formula_60 represents the constant function formula_61, the function that always returns formula_21, no matter the input.In lambda calculus, function application is regarded as left-associative, so that formula_63 means formula_64.