Noen eksempler vi nå kan definere i den rene lambdakalkylen er: , identitesfunksjonen og fra kombinatorisk logikk. som tar en funksjon og et argument, og sender argumentet to ganger gjennom funksjonen.