Type a λ-calculi expression below. Backslash = λ.