added the id natural transformation