Format the example sequence as lambda calculus.