 That is, the term reduces to itself in a single β-reduction, and therefore the reduction process will never terminate.Another aspect of the untyped lambda calculus is that it does not distinguish between different kinds of data.For instance, it may be desirable to write a function that only operates on numbers.