Add identity, foldr, foldl