foldl using foldr note