Hvis vi beveger oss bort fra den rene lambdakalkylen og godtar konstanter for tall og operasjoner som pluss, kan vi definere funksjoner slik som: , som er funksjonen som tar et tall og ganger med to. , som kvadrere et tall.