Vi kan observere at vi nå kan definere en genrell identitetsfunksjon, som har typen . Hvis vi kaller funksjonen ser vi at uttrykket har typen .