5Technically speaking, they are both functions. Everything in λ-calculus is a function.